1 val render_tex
: Tex.t
-> string
3 val set_encoding
: string -> unit
4 val tex_use_nonascii
: unit -> unit
5 val tex_use_ams
: unit -> unit
7 val get_preface
: unit -> string
8 val get_footer
: unit -> string
10 exception Illegal_tex_function
of string
11 val find
: string -> Parser.token