Import/web/www.xiaofrog.com/wiki/math/render_info.mli at a045276d417f58423829d428d4ba0bc88e82c91f

Fork: 0

jryland / Import

Find file

Newer

Older

Import / web / www.xiaofrog.com / wiki / math / render_info.mli

John Ryland on 22 Dec 2020 649 bytes import NUC files

Raw Blame History

type font_force =
    FONTFORCE_IT
  | FONTFORCE_RM
type font_class =
    FONT_IT  (* IT default, may be forced to be RM *)
  | FONT_RM  (* RM default, may be forced to be IT *)
  | FONT_UF  (* not affected by IT/RM setting *)
  | FONT_RTI (* RM - any, IT - not available in HTML *)
  | FONT_UFH (* in TeX UF, in HTML RM *)
type math_class =
    MN
  | MI
  | MO
type t =
      HTMLABLEC of font_class * string * string
    | HTMLABLEM of font_class * string * string
    | HTMLABLE of font_class * string * string
    | MHTMLABLEC of font_class * string * string * math_class * string
    | HTMLABLE_BIG of string * string
    | TEX_ONLY of string