In Backus-Naur form (BNF) a nonterminal is a symbol that can be expressed in terms of other terminals or nonterminals. For more information see the entry for Terminal symbol.