\simcolon

The \simcolon symbol is used in mathematical expressions to denote a relation or comparison between two quantities. It is often used in contexts where a specific type of relationship is being defined or highlighted, such as in set theory or logic.

Examples

Indicates a specific relation between sets A and B.

A \simcolon B

Represents a defined relationship between variables x and y.

x \simcolon y

Denotes a logical relation between propositions P(x) and Q(x).

P(x) \simcolon Q(x)