RawColon
: \[RawColon]
Tastatur-Operator. Äquivalent zum gewöhnlichen ASCII-Zeichen mit dem Code 58. Siehe Das Mathematica Buch: 3.10.5. Siehe auch: \[Colon].