blob: d5e7fde99ed994b14fb32d75243d49c3979ddf98 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
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
|
