History

for article: Terminal and nonterminal symbols