Documentation Publicon Reference Special Characters
RawColon
: \[RawColon]
• Raw operator. • Equivalent to the ordinary ASCII character with code 58.• See also: \[Colon] .
