Definition:Letter (Formal Systems)
From ProofWiki
Definition
A letter of a formal language is a more or less arbitrary symbol whose definition depends on the specific context.
Depending on the nature of the formal language, and the particular location in whatever word in which it occurs, the interpretation of the letter may vary.
Letters form the vocabulary of the alphabet of a formal language.