LatexToken:
    | string
    | "<{>"
    | "<}>"
    | "<space>"
    | "<$>"
    | "<$$>"

A LatexToken is a token as returned by Scanner.peek.

It can be one of the indicated tokens, or a string that starts with a `` for LaTeX commands, or a LaTeX character which includes digits, letters and punctuation.