[next] [prev] [prev-tail] [tail] [up]
Type 6 is for punctuation (\mathpunc, in LaTeX), and type 7 is “variable ord”.
‘latex.ltx:\def\pmod#1{\allowbreak\mkern18mu({\operator@font mod}\,\,#1)} ’ ???
[next] [prev] [prev-tail] [front] [up]