Alternative spelling of non-terminal symbol [(computing theory) A symbol in a formal grammar that cannot appear in sentences of the grammar but may eventually be resolved into a sequence of terminal symbols.]

In formal languages, terminal and nonterminal symbols are the lexical elements used in specifying the production rules constituting a formal grammar.