¨

10.2.8.2 Symbolic Atoms

A symbolic atom is written as a sequence of symbolic characters, and characters in the upper half of the 8-bit ASCII table. The symbolic characters are shown next:

#$& = - ^ ~ \ @ ‘ :./+ * ?< >

The following are all symbolic atoms:
-12.3