A relational symbol combining approximation and colon notation used in category theory and formal definitions.
