From f3dc9d339c761a5ada83c5fedb6301954c85da40 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Uwe=20St=C3=B6hr?= Date: Mon, 9 Feb 2015 23:53:39 +0100 Subject: [PATCH] symbols: add support for the math commands \lvert etc. add support for the math commands \lvert, \rvert, \lVert, and \rVert fixes bug #3538 --- lib/symbols | 4 ++++ src/frontends/qt4/GuiApplication.cpp | 4 ++++ status.21x | 1 + 3 files changed, 9 insertions(+) diff --git a/lib/symbols b/lib/symbols index b9b21b945c..7c563ecab6 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 88dd8847e8..1b2b8a3fde 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" }, diff --git a/status.21x b/status.21x index 64c5ae7b0b..f1bc22f2ff 100644 --- a/status.21x +++ b/status.21x @@ -36,6 +36,7 @@ What's new * USER INTERFACE +- support for the math commands \lvert, \rvert, \lVert, and \rVert (bug 3538). * DOCUMENTATION AND LOCALIZATION -- 2.39.5