[LyX/master] symbols: support the AMS commands \l(r)v(V)ert

[Uwe Stöhr]

commit e4fb40b28437de9d0775933bc1ddc01b0565f986
Author: Uwe Stöhr <uwesto...@lyx.org>
Date:   Sun Nov 16 23:09:28 2014 +0100

    symbols: support the AMS commands \l(r)v(V)ert
    
    - fixes bug #3538

diff --git a/lib/symbols b/lib/symbols
index 2b5aea2..29d1a75 100644
--- a/lib/symbols
+++ b/lib/symbols
@@ -348,6 +348,8 @@ sqsubseteq         cmsy        118   0 mathrel  &sqsube;
 sqsupseteq         cmsy        119   0 mathrel  &sqsupe;
 parallel           cmsy        107   0 mathrel  &spar;
 mid                cmsy        106 124 mathrel  &smid;
+lvert              cmsy        106 124 mathrel  &lvert;  amsmath
+rvert              cmsy        106 124 mathrel  &rvert;  amsmath
 dashv              cmsy         97   0 mathrel  &dashv;
 vdash              cmsy         96   0 mathrel  &vdash;
 nearrow            cmsy         37   0 mathrel  &nearr;
@@ -400,6 +402,8 @@ colon              cmr          58  58 mathpunct  &colon;
 arrowvert          cmsy        106   0 mathord  &verbar;
 Arrowvert          cmsy        107   0 mathord  &par;
 Vert               cmsy        107   0 mathord  &par;
+lVert              cmsy        107   0 mathord  &par;  amsmath
+rVert              cmsy        107   0 mathord  &par;  amsmath
 |                  cmsy        107   0 mathord  &verbar;
 vert               cmsy        106   0 mathord  &verbar;
 uparrow            cmsy         34 173 mathrel &uarr;
diff --git a/src/frontends/qt4/GuiApplication.cpp 
b/src/frontends/qt4/GuiApplication.cpp
index 5c56b0a..9229f15 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" },