commit f3dc9d339c761a5ada83c5fedb6301954c85da40
Author: Uwe Stöhr <[email protected]>
Date: Mon Feb 9 23:53:39 2015 +0100
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 b9b21b9..7c563ec 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 88dd884..1b2b8a3 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 64c5ae7..f1bc22f 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