From 6bfd30bbe06b5003d7ea65f310d9849e4b631ee7 Mon Sep 17 00:00:00 2001 From: Arne Heizmann Date: Sun, 14 Nov 2004 15:05:30 +0000 Subject: [PATCH] Allow four more ams symbols (sqsu[p/b]set[/eq]) --- math/texutil.ml | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/math/texutil.ml b/math/texutil.ml index 309dd1224b..4377dfdaed 100644 --- a/math/texutil.ml +++ b/math/texutil.ml @@ -13,7 +13,7 @@ let tex_part = function let rec render_tex = function TEX_FQ (a,b,c) -> (render_tex a) ^ "_{" ^ (render_tex b) ^ "}^{" ^ (render_tex c) ^ "}" | TEX_DQ (a,b) -> (render_tex a) ^ "_{" ^ (render_tex b) ^ "}" - | TEX_UQ (a,b) -> (render_tex a) ^ "^{" ^ (render_tex b) ^ "}" + | TEX_UQ (a,b) -> (render_tex a) ^ "^{" ^ (render_tex b) ^ "}" | TEX_LITERAL s -> tex_part s | TEX_FUN1 (f,a) -> "{" ^ f ^ " " ^ (render_tex a) ^ "}" | TEX_FUN1hl (f,_,a) -> "{" ^ f ^ " " ^ (render_tex a) ^ "}" @@ -175,8 +175,8 @@ let find = function | "\\bigotimes" -> LITERAL (TEX_ONLY "\\bigotimes ") | "\\coprod" -> LITERAL (TEX_ONLY "\\coprod ") | "\\bigsqcup" -> LITERAL (TEX_ONLY "\\bigsqcup ") - | "\\bigoplus" -> LITERAL (TEX_ONLY "\\bigoplus ") - | "\\bigvee" -> LITERAL (TEX_ONLY "\\bigvee ") + | "\\bigoplus" -> LITERAL (TEX_ONLY "\\bigoplus ") + | "\\bigvee" -> LITERAL (TEX_ONLY "\\bigvee ") | "\\biguplus" -> LITERAL (TEX_ONLY "\\biguplus ") | "\\oint" -> LITERAL (TEX_ONLY "\\oint ") | "\\bigwedge" -> LITERAL (TEX_ONLY "\\bigwedge ") @@ -264,6 +264,10 @@ let find = function | "\\subset" -> LITERAL (HTMLABLE (FONT_UF, "\\subset ", "⊂")) | "\\supseteq" -> LITERAL (HTMLABLE (FONT_UF, "\\supseteq ", "⊇")) | "\\subseteq" -> LITERAL (HTMLABLE (FONT_UF, "\\subseteq ", "⊆")) + | "\\sqsupset" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\sqsupset ")) + | "\\sqsubset" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\sqsubset ")) + | "\\sqsupseteq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\sqsupseteq ")) + | "\\sqsubseteq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\sqsubseteq ")) | "\\perp" -> LITERAL (HTMLABLE (FONT_UF, "\\perp ", "⊥")) | "\\bot" -> LITERAL (HTMLABLE (FONT_UF, "\\bot ", "⊥")) | "\\lfloor" -> DELIMITER (HTMLABLE (FONT_UF, "\\lfloor ", "⌊")) -- 2.20.1