/ \[RawSlash]
• Raw operator.
• Equivalent to the ordinary ASCII character with code 47.
• Extensible character; grows by default to limited size.
• See Section 3.10.5.
• See also: \[Divide] .
Usage
