\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.
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)