symbols: add support for the math commands \lvert etc.

add support for the math commands \lvert, \rvert, \lVert, and \rVert
fixes bug #3538

diff --git a/lib/symbols b/lib/symbols
index b9b21b945c77b1b6a5c9a905f7272100c4511492..7c563ecab6d5705042bbfb2eb493081d1b3c9da7 100644 (file)
--- 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 88dd8847e87b2e30bfd5388ad37bd113375c96f6..1b2b8a3fdea89db96f32b488335f3bd474997c87 100644 (file)
--- 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 64c5ae7b0bf6863608e62b1e863d0426cb513bbc..f1bc22f2ffc4e0d4a2d06d60520a10453cac33fa 100644 (file)
--- 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