: \[RawColon]
• Raw operator.
• Equivalent to the ordinary ASCII character with code 58.
• See Section 3.10.5.
• See also: \[Colon] .
Usage
