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" },