scholdoc-texmath-0.1: tests/readers/mml/mnAtoken7.native
[ENumber "5",ESymbol Bin "+",ENumber "31",ESymbol Bin "+",ENumber "0",ESymbol Bin "+",ENumber "14",ESymbol Bin "+",ENumber "123456789"]
[ENumber "5",ESymbol Bin "+",ENumber "31",ESymbol Bin "+",ENumber "0",ESymbol Bin "+",ENumber "14",ESymbol Bin "+",ENumber "123456789"]