sig
  val generate_tex : string -> string -> string -> (int * 'a) list -> unit
end