DocumentationMathematicaThe Mathematica BookMathematica Reference GuideListing of Named Characters
RawColon
: \[RawColon]
Raw operator. Equivalent to the ordinary ASCII character with code 58. See Section 3.10.5. See also: \[Colon] .