Definition:Sign (Formal Systems)
From ProofWiki
Definition
A sign of a formal language is a symbol which has a specific meaning in the language.
Signs form part of the alphabet of a formal language.