Wiktionary
non-terminal symbol
n. (context computing theory English) 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.