anne/lyx_mirror
1
0
Fork 0
mirror of https://git.lyx.org/repos/lyx.git synced 2024-11-09 18:31:04 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

symbols: support the AMS commands \l(r)v(V)ert

Browse Source 
- fixes bug #3538
This commit is contained in:
Uwe Stöhr 2014-11-16 23:09:28 +01:00
parent 4d3f9f3ede
commit e4fb40b284
2 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
lib/symbols
View File

@ -348,6 +348,8 @@ sqsubseteq cmsy 118 0 mathrel ⊑
sqsupseteq cmsy 119 0 mathrel ⊒ sqsupseteq cmsy 119 0 mathrel ⊒
parallel cmsy 107 0 mathrel ∥ parallel cmsy 107 0 mathrel ∥
mid cmsy 106 124 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 ⊣ dashv cmsy 97 0 mathrel ⊣
vdash cmsy 96 0 mathrel ⊢ vdash cmsy 96 0 mathrel ⊢
nearrow cmsy 37 0 mathrel ↗ nearrow cmsy 37 0 mathrel ↗
@ -400,6 +402,8 @@ colon cmr 58 58 mathpunct :
arrowvert cmsy 106 0 mathord | arrowvert cmsy 106 0 mathord |
Arrowvert cmsy 107 0 mathord ∥ Arrowvert cmsy 107 0 mathord ∥
Vert 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 | | cmsy 107 0 mathord |
vert cmsy 106 0 mathord | vert cmsy 106 0 mathord |
uparrow cmsy 34 173 mathrel ↑ uparrow cmsy 34 173 mathrel ↑

4
src/frontends/qt4/GuiApplication.cpp
View File

@ -333,12 +333,16 @@ PngMap sorted_png_map[] = {
{ "XBox", "xbox3" }, { "XBox", "xbox3" },
{ "Xbox", "xbox2" }, { "Xbox", "xbox2" },
{ "Xi", "xi2" }, { "Xi", "xi2" },
{ "lVert", "vert2" },
{ "lvert", "vert" },
{ "nLeftarrow", "nleftarrow2" }, { "nLeftarrow", "nleftarrow2" },
{ "nLeftrightarrow", "nleftrightarrow2" }, { "nLeftrightarrow", "nleftrightarrow2" },
{ "nRightarrow", "nrightarrow2" }, { "nRightarrow", "nrightarrow2" },
{ "nVDash", "nvdash3" }, { "nVDash", "nvdash3" },
{ "nVdash", "nvdash4" }, { "nVdash", "nvdash4" },
{ "nvDash", "nvdash2" }, { "nvDash", "nvdash2" },
{ "rVert", "vert2" },
{ "rvert", "vert" },
{ "textrm \\AA", "textrm_AA"}, { "textrm \\AA", "textrm_AA"},
{ "textrm \\O", "textrm_O"}, { "textrm \\O", "textrm_O"},
{ "vDash", "vdash2" }, { "vDash", "vdash2" },