6.1.8 Name

The ``name'' property of an atom is a string used to record the atom name associated with an atom. The default value is the empty string.