src/Pure/General/latex.ML

   val cite: {kind: string, citations: (string * Position.T) list, location: text} -> text
   type index_item = {text: text, like: string}
   type index_entry = {items: index_item list, def: bool}
   val index_entry: index_entry -> text
   val index_variants: (binding -> bool option -> 'a -> 'a) -> binding -> 'a -> 'a
-  val latexN: string
   val output_: string -> Output.output
   val output_width: string -> Output.output * int
   val escape: Output.output -> string
   val output_ops: int option -> Pretty.output_ops
 end;

 
 fun index_variants setup binding =
   fold (fn index => setup (index_binding index binding) index) [NONE, SOME true, SOME false];
 
 
-(* print mode *)
-
-val latexN = "latex";
-
-
 (* markup and formatting *)
 
 val output_ = output_symbols o Symbol.explode;
 
 fun output_width str =