[macros] Remove unused macro '\nonterminal'

See also #1312.

Author: tkoeppe

source/macros.tex

@@ -387,11 +387,10 @@
 \setlength{\BnfRest}{2\BnfIndent}
 \newcommand{\BnfNontermshape}{\small\rmfamily\itshape}
 \newcommand{\BnfTermshape}{\small\ttfamily\upshape}
-\newcommand{\nonterminal}[1]{{\BnfNontermshape #1}}
 
 \newenvironment{bnfbase}
  {
- \newcommand{\nontermdef}[1]{\nonterminal{##1\itcorr}\indexgrammar{\idxgram{##1}}\textnormal{:}}
+ \newcommand{\nontermdef}[1]{{\BnfNontermshape##1\itcorr}\indexgrammar{\idxgram{##1}}\textnormal{:}}
  \newcommand{\terminal}[1]{{\BnfTermshape ##1}\xspace}
  \newcommand{\descr}[1]{\textnormal{##1}}
  \newcommand{\bnfindentfirst}{\BnfIndent}