From e4fb40b28437de9d0775933bc1ddc01b0565f986 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Uwe=20St=C3=B6hr?= Date: Sun, 16 Nov 2014 23:09:28 +0100 Subject: [PATCH] symbols: support the AMS commands \l(r)v(V)ert - fixes bug #3538 --- lib/symbols | 4 ++++ src/frontends/qt4/GuiApplication.cpp | 4 ++++ 2 files changed, 8 insertions(+) diff --git a/lib/symbols b/lib/symbols index 2b5aea2feb..29d1a75cc7 100644 --- a/lib/symbols +++ b/lib/symbols @@ -348,6 +348,8 @@ sqsubseteq cmsy 118 0 mathrel ⊑ sqsupseteq cmsy 119 0 mathrel ⊒ parallel cmsy 107 0 mathrel ∥ mid cmsy 106 124 mathrel ∣ +lvert cmsy 106 124 mathrel &lvert; amsmath +rvert cmsy 106 124 mathrel &rvert; amsmath dashv cmsy 97 0 mathrel ⊣ vdash cmsy 96 0 mathrel ⊢ nearrow cmsy 37 0 mathrel ↗ @@ -400,6 +402,8 @@ colon cmr 58 58 mathpunct : arrowvert cmsy 106 0 mathord | Arrowvert cmsy 107 0 mathord ∥ Vert cmsy 107 0 mathord ∥ +lVert cmsy 107 0 mathord ∥ amsmath +rVert cmsy 107 0 mathord ∥ amsmath | cmsy 107 0 mathord | vert cmsy 106 0 mathord | uparrow cmsy 34 173 mathrel ↑ diff --git a/src/frontends/qt4/GuiApplication.cpp b/src/frontends/qt4/GuiApplication.cpp index 5c56b0a2d0..9229f155ef 100644 --- a/src/frontends/qt4/GuiApplication.cpp +++ b/src/frontends/qt4/GuiApplication.cpp @@ -333,12 +333,16 @@ PngMap sorted_png_map[] = { { "XBox", "xbox3" }, { "Xbox", "xbox2" }, { "Xi", "xi2" }, + { "lVert", "vert2" }, + { "lvert", "vert" }, { "nLeftarrow", "nleftarrow2" }, { "nLeftrightarrow", "nleftrightarrow2" }, { "nRightarrow", "nrightarrow2" }, { "nVDash", "nvdash3" }, { "nVdash", "nvdash4" }, { "nvDash", "nvdash2" }, + { "rVert", "vert2" }, + { "rvert", "vert" }, { "textrm \\AA", "textrm_AA"}, { "textrm \\O", "textrm_O"}, { "vDash", "vdash2" },