* (bug 3502) Bowtie symbol for TeX

diff --git a/RELEASE-NOTES b/RELEASE-NOTES
index d367ab0..bdbccc1 100644 (file)
--- a/RELEASE-NOTES
+++ b/RELEASE-NOTES
@@ -466,6 +466,7 @@ fully support the editing toolbar, but was found to be too confusing.
   HTML on final output (cached or not)
 * Avoid PHP notice on command-line scripts if empty argument is passed ('')
 * (bug 4571) Partial fix hack for {{fulllurl:}} in action=render
+* (bug 3502) Bowtie symbol for TeX
 
 
 === Caveats ===

diff --git a/math/texutil.ml b/math/texutil.ml
index be49e34..7ee24fc 100644 (file)
--- a/math/texutil.ml
+++ b/math/texutil.ml
@@ -186,6 +186,7 @@ let find = function
     | "\\models"           -> LITERAL (TEX_ONLY "\\models ")
     | "\\vdash"            -> LITERAL (TEX_ONLY "\\vdash ")
     | "\\triangle"         -> LITERAL (TEX_ONLY "\\triangle ")
+       | "\\bowtie"           -> LITERAL (TEX_ONLY "\\bowtie ")
     | "\\wr"               -> LITERAL (TEX_ONLY "\\wr ")
     | "\\triangleleft"     -> LITERAL (TEX_ONLY "\\triangleleft ")
     | "\\triangleright"    -> LITERAL (TEX_ONLY "\\triangleright ")