Un simbolo "atomico" può essere:

Un identificatore, che inizia con una lettera e prosegue con lettere, cifre o underscore; ad es. Gatto_Nero_53.
Una sequenza di caratteri arbitrari racchiusa fra apici, ad es. 'il gatto di Gigi', ma anche '∀x ∃y (P(x,y) ∨ P(y,x)'; gli apici nascondono la struttura interna della espressione che racchiudono, rendendola un simbolo atomico.

I simboli "atomici" fra apici possono essere usati come costanti, come simboli proposizionali e come nomi interni degli elementi dell'universo. Non possono essere usati invece come simboli di funzione o di predicato; questi ultimi devono essere degli identificatori.