Write text boxes as <mi>, <mn>, or <mo> as appropriate,

and write fontstyle or fontweight attributes where required.
Missing features reported by bentley@.

1 files changed, 1 insertions, 0 deletions

diff --git a/html.h b/html.h
index f7785e2f..eef388fa 100644
--- a/html.h
+++ b/html.h
@@ -51,6 +51,7 @@ enum	htmltag {
 	TAG_MATH,
 	TAG_MROW,
 	TAG_MI,
+	TAG_MN,
 	TAG_MO,
 	TAG_MSUP,
 	TAG_MSUB,