From ad018d783578d095f7db1101bf48ea31216d8883 Mon Sep 17 00:00:00 2001 From: Rob Church Date: Thu, 12 Jan 2006 20:17:30 +0000 Subject: [PATCH] * (bug 3502) Bowtie symbol for TeX --- RELEASE-NOTES | 1 + math/texutil.ml | 1 + 2 files changed, 2 insertions(+) diff --git a/RELEASE-NOTES b/RELEASE-NOTES index d367ab0e31..bdbccc13ce 100644 --- 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 be49e34202..7ee24fcccb 100644 --- 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 ") -- 2.20.1