Documentation Publicon Reference Special Characters
Colon
: \[Colon]
• Alias: :. • Infix operator. • x y is by default interpreted as Colon[x, y]. • Used in mathematics to mean "such that". • Occasionally used to indicate proportion. • Used to separate hours and minutes in times.• See also: \[SuchThat] , \[VerticalSeparator] , \[Exists] , \[ForAll] , \[RawColon] , \[Proportion] , \[Therefore] .
:
y is by default interpreted as Colon[x, y]. 