nonterminal symbol