val render : Tex.t list -> string option