\simcolonThe \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 BRepresents a defined relationship between variables x and y.
x \simcolon yDenotes a logical relation between propositions P(x) and Q(x).
P(x) \simcolon Q(x)