Atoms

Atoms are strings of letters, digits, and underscore marks _ that begin with a lower-case letter, or strings of any characters enclosed in single quotation marks. No atom can contain more than 1000 characters. The backslash character '\' is used as an escape character. So, the atom 'a\'b' contains three characters, namely a, ', and b.