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 Section 3.10.4.

See also: \[SuchThat] , \[VerticalSeparator] , \[Exists] , \[ForAll] , \[RawColon] , \[Proportion] , \[Therefore] .