2 TEX_LITERAL
of Render_info.t
10 | TEX_LR
of Render_info.t
* Render_info.t
* t list
11 | TEX_BOX
of string * string
12 | TEX_BIG
of string * Render_info.t
13 | TEX_FUN1
of string * t
14 | TEX_FUN2
of string * t
* t
15 | TEX_FUN2nb
of string * t
* t
16 | TEX_INFIX
of string * t list
* t list
17 | TEX_FUN2sq
of string * t
* t
18 | TEX_FUN1hl
of string * (string * string) * t
19 | TEX_FUN1hf
of string * Render_info.font_force
* t
20 | TEX_FUN2h
of string * (t
-> t
-> string * string * string) * t
* t
21 | TEX_INFIXh
of string * (t list
-> t list
-> string * string * string) * t list
* t list
22 | TEX_MATRIX
of string * t list list list
23 | TEX_DECLh
of string * Render_info.font_force
* t list
