diff --git a/lib/doc/Math.lyx b/lib/doc/Math.lyx
index b1767d62d1..4d7ab50bac 100644
--- a/lib/doc/Math.lyx
+++ b/lib/doc/Math.lyx
@@ -5013,7 +5013,7 @@ matrix
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -5036,7 +5036,7 @@ matrix
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -5167,7 +5167,7 @@ matrix
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -5190,7 +5190,7 @@ matrix
\end_inset
|
-
+
\begin_inset Text
\begin_layout Plain Layout
@@ -6038,7 +6038,7 @@ These commands are used to emphasize levels of brackets:
\align center
\begin_inset Tabular
-
+
@@ -6055,7 +6055,7 @@ all brackets in the same size:
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula $((A+B)(A-B))^{C}\raisebox{-4mm}{}$
+\begin_inset Formula $((A+B)(A-B))^{C}$
\end_inset
@@ -6064,7 +6064,7 @@ all brackets in the same size:
\end_inset
|
| |
-
+
\begin_inset Text
@@ -6092,22 +6092,6 @@ this looks better:
\end_inset
-\begin_inset Note Note
-status collapsed
-
-\begin_layout Plain Layout
-
-\series bold
-
-\backslash
-raisebox
-\series default
- is only used as spacer.
-\end_layout
-
-\end_inset
-
-
\end_layout
\begin_layout Standard
@@ -6265,11 +6249,11 @@ In the following table is a comparison of the variants:
\align center
\begin_inset Tabular
-
-
+
+
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -6278,34 +6262,18 @@ Command
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
Result
-\begin_inset Note Note
-status collapsed
-
-\begin_layout Plain Layout
-
-\series bold
-
-\backslash
-raisebox
-\series default
- is only used as spacer.
-\end_layout
-
-\end_inset
-
-
\end_layout
\end_inset
|
| |
-
-
+
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -6328,11 +6296,11 @@ Bigm)
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula $\raisebox{5.5mm}{}\Bigm(\bigm(\ln(3x)\bigm)^{2}\Bigm)\raisebox{-3.25mm}{}$
+\begin_inset Formula $\Bigm(\bigm(\ln(3x)\bigm)^{2}\Bigm)$
\end_inset
@@ -6341,8 +6309,8 @@ Bigm)
\end_inset
|
|
-
-
+
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -6365,11 +6333,11 @@ Big)
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula $\raisebox{5.5mm}{}\Big(\big(\ln(3x)\big)^{2}\Big)\raisebox{-3.25mm}{}$
+\begin_inset Formula $\Big(\big(\ln(3x)\big)^{2}\Big)$
\end_inset
@@ -6378,8 +6346,8 @@ Big)
\end_inset
|
|
-
-
+
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -6402,11 +6370,11 @@ Bigr)
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula $\raisebox{5.5mm}{}\Bigl(\bigl(\ln(3x)\bigr)^{2}\Bigr)\raisebox{-3.25mm}{}$
+\begin_inset Formula $\Bigl(\bigl(\ln(3x)\bigr)^{2}\Bigr)$
\end_inset
@@ -6415,8 +6383,8 @@ Bigr)
\end_inset
|
|
-
-
+
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -6431,11 +6399,11 @@ bigr(
\end_inset
|
-
+
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula $\raisebox{4.5mm}{}\bigl)\ln(3x)\bigr(\raisebox{-2mm}{}$
+\begin_inset Formula $\bigl)\ln(3x)\bigr($
\end_inset
@@ -6781,36 +6749,20 @@ Brackets ! horizontal
\align center
\begin_inset Tabular
-
+
-
+|
\begin_inset Text
\begin_layout Plain Layout
Command
-\begin_inset Note Note
-status collapsed
-
-\begin_layout Plain Layout
-
-\series bold
-
-\backslash
-raisebox
-\series default
- is only used as spacer.
-\end_layout
-
-\end_inset
-
-
\end_layout
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -6821,22 +6773,10 @@ Result
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-raisebox{2.3mm}{
-\end_layout
-
-\end_inset
-
\backslash
overbrace
@@ -6848,17 +6788,6 @@ A+B
\end_inset
^3
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-}
-\end_layout
-
-\end_inset
-
-
\begin_inset Index idx
status collapsed
@@ -6875,7 +6804,7 @@ overbrace
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -6888,23 +6817,11 @@ overbrace
\end_inset
|
| |
-
-
+
+|
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-raisebox{-2.2mm}{
-\end_layout
-
-\end_inset
-
\backslash
underbrace
@@ -6916,17 +6833,6 @@ A+B
\end_inset
_5
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-}
-\end_layout
-
-\end_inset
-
-
\begin_inset Index idx
status collapsed
@@ -6943,7 +6849,7 @@ underbrace
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -6957,7 +6863,7 @@ underbrace
|
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -6998,7 +6904,7 @@ C
\end_inset
|
-
+
\begin_inset Text
\begin_layout Plain Layout
@@ -7083,36 +6989,20 @@ always
\align center
\begin_inset Tabular
-
+
-
+|
\begin_inset Text
\begin_layout Plain Layout
Command
-\begin_inset Note Note
-status collapsed
-
-\begin_layout Plain Layout
-
-\series bold
-
-\backslash
-raisebox
-\series default
- is only used as spacer.
-\end_layout
-
-\end_inset
-
-
\end_layout
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -7123,22 +7013,10 @@ Result
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-raisebox{2.3mm}{
-\end_layout
-
-\end_inset
-
\backslash
@@ -7170,17 +7048,6 @@ overbracket
\end_inset
^3
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-}
-\end_layout
-
-\end_inset
-
-
\begin_inset Index idx
status collapsed
@@ -7197,7 +7064,7 @@ overbracket
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -7210,23 +7077,11 @@ overbracket
\end_inset
|
| |
-
-
+
+|
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-raisebox{-2.2mm}{
-\end_layout
-
-\end_inset
-
\backslash
under
@@ -7258,17 +7113,6 @@ bracket
\end_inset
_5
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-}
-\end_layout
-
-\end_inset
-
-
\begin_inset Index idx
status collapsed
@@ -7297,7 +7141,7 @@ bracket
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -7311,7 +7155,7 @@ bracket
|
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -7344,7 +7188,7 @@ C
\end_inset
|
-
+
\begin_inset Text
\begin_layout Plain Layout
@@ -7389,36 +7233,20 @@ underbracket
\align center
\begin_inset Tabular
-
+
-
+|
\begin_inset Text
\begin_layout Plain Layout
Command
-\begin_inset Note Note
-status collapsed
-
-\begin_layout Plain Layout
-
-\series bold
-
-\backslash
-raisebox
-\series default
- is only used as spacer.
-\end_layout
-
-\end_inset
-
-
\end_layout
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -7429,22 +7257,10 @@ Result
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-raisebox{2.3mm}{
-\end_layout
-
-\end_inset
-
\backslash
@@ -7478,22 +7294,11 @@ overbracket
\end_inset
^3
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-}
-\end_layout
-
-\end_inset
-
-
\end_layout
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -7506,23 +7311,11 @@ status collapsed
\end_inset
|
| |
-
-
+
+|
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-raisebox{-2.2mm}{
-\end_layout
-
-\end_inset
-
\backslash
under
@@ -7556,22 +7349,11 @@ bracket
\end_inset
_5
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-}
-\end_layout
-
-\end_inset
-
-
\end_layout
\end_inset
|
-
+
\begin_inset Text
\begin_layout Plain Layout
@@ -7885,11 +7667,11 @@ Arrows ! horizontal
\begin_inset Tabular
-
+
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -7898,7 +7680,7 @@ Command
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -7909,7 +7691,7 @@ Result
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -7920,7 +7702,7 @@ gets
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -7934,7 +7716,7 @@ gets
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -7945,7 +7727,7 @@ Leftarrow
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -7959,7 +7741,7 @@ Leftarrow
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -7970,7 +7752,7 @@ longleftarrow
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -7984,7 +7766,7 @@ longleftarrow
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -7995,7 +7777,7 @@ Longleftarrow
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8009,7 +7791,7 @@ Longleftarrow
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8020,7 +7802,7 @@ leftharpoonup
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8034,7 +7816,7 @@ leftharpoonup
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8045,7 +7827,7 @@ leftharpoondown
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8059,7 +7841,7 @@ leftharpoondown
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8070,7 +7852,7 @@ hookleftarrow
\end_inset
|
-
+
\begin_inset Text
\begin_layout Plain Layout
@@ -8094,11 +7876,11 @@ hookleftarrow
\begin_inset Tabular
-
+
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8107,7 +7889,7 @@ Command
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8118,7 +7900,7 @@ Result
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8129,7 +7911,7 @@ to
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8143,7 +7925,7 @@ to
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8154,7 +7936,7 @@ Rightarrow
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8168,7 +7950,7 @@ Rightarrow
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8179,7 +7961,7 @@ longrightarrow
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8193,7 +7975,7 @@ longrightarrow
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8204,7 +7986,7 @@ Longrightarrow
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8218,7 +8000,7 @@ Longrightarrow
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8229,7 +8011,7 @@ rightharpoonup
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8243,7 +8025,7 @@ rightharpoonup
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8254,7 +8036,7 @@ rightharpoondown
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8268,7 +8050,7 @@ rightharpoondown
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8279,7 +8061,7 @@ hookrightarrow
\end_inset
|
-
+
\begin_inset Text
\begin_layout Plain Layout
@@ -8310,11 +8092,11 @@ hookrightarrow
\begin_inset Tabular
-
+
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8323,7 +8105,7 @@ Command
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8334,7 +8116,7 @@ Result
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8345,7 +8127,7 @@ leftrightarrow
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8359,7 +8141,7 @@ leftrightarrow
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8370,7 +8152,7 @@ Leftrightarrow
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8384,7 +8166,7 @@ Leftrightarrow
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8395,7 +8177,7 @@ longleftrightarrow
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8409,7 +8191,7 @@ longleftrightarrow
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8420,7 +8202,7 @@ Longleftrightarrow
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8434,7 +8216,7 @@ Longleftrightarrow
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8445,7 +8227,7 @@ rightleftharpoons
\end_inset
|
-
+
\begin_inset Text
\begin_layout Plain Layout
@@ -8474,11 +8256,11 @@ rightleftharpoons
\begin_inset Tabular
-
+
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8487,7 +8269,7 @@ Command
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8498,7 +8280,7 @@ Result
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8509,7 +8291,7 @@ mapsto
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8523,7 +8305,7 @@ mapsto
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8534,7 +8316,7 @@ longmapsto
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8548,7 +8330,7 @@ longmapsto
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8559,7 +8341,7 @@ leadsto
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8573,7 +8355,7 @@ leadsto
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8584,7 +8366,7 @@ dasharrow
\end_inset
|
-
+
\begin_inset Text
\begin_layout Plain Layout
@@ -8703,11 +8485,11 @@ vspace{4mm}
\align center
\begin_inset Tabular
-
+
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8716,34 +8498,18 @@ Command
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
Result
-\begin_inset Note Note
-status collapsed
-
-\begin_layout Plain Layout
-
-\series bold
-
-\backslash
-raisebox
-\series default
- is only used as spacer.
-\end_layout
-
-\end_inset
-
-
\end_layout
\end_inset
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8766,11 +8532,11 @@ F(x)
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula $\raisebox{5.5mm}{}F(a)\xleftarrow[x>0]{x=a}F(x)\raisebox{-4mm}{}$
+\begin_inset Formula $F(a)\xleftarrow[x>0]{x=a}F(x)$
\end_inset
@@ -8779,8 +8545,8 @@ F(x)
\end_inset
|
| |
-
-
+
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8803,11 +8569,11 @@ F(a)
\end_inset
|
-
+
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula $\raisebox{5.5mm}{}F(x)\xrightarrow[x>0]{x=a}F(a)\raisebox{-4mm}{}$
+\begin_inset Formula $F(x)\xrightarrow[x>0]{x=a}F(a)$
\end_inset
@@ -8883,11 +8649,11 @@ always
\begin_inset Tabular
-
+
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8896,34 +8662,18 @@ Command
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
Example
-\begin_inset Note Note
-status collapsed
-
-\begin_layout Plain Layout
-
-\series bold
-
-\backslash
-raisebox
-\series default
- is only used as spacer.
-\end_layout
-
-\end_inset
-
-
\end_layout
\end_inset
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8946,11 +8696,11 @@ xleftrightarrow
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula $\raisebox{6mm}{}\xleftrightarrow[x=a]{x>0}\raisebox{-4mm}{}$
+\begin_inset Formula $\xleftrightarrow[x=a]{x>0}$
\end_inset
@@ -8959,8 +8709,8 @@ xleftrightarrow
\end_inset
|
| |
-
-
+
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -8983,11 +8733,11 @@ xLeftarrow
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula $\raisebox{6mm}{}\xLeftarrow[x=a]{x>0}\raisebox{-4mm}{}$
+\begin_inset Formula $\xLeftarrow[x=a]{x>0}$
\end_inset
@@ -8996,8 +8746,8 @@ xLeftarrow
\end_inset
|
|
-
-
+
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -9020,11 +8770,11 @@ xRightarrow
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula $\raisebox{6mm}{}\xRightarrow[x=a]{x>0}\raisebox{-4mm}{}$
+\begin_inset Formula $\xRightarrow[x=a]{x>0}$
\end_inset
@@ -9033,8 +8783,8 @@ xRightarrow
\end_inset
|
|
-
-
+
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -9057,11 +8807,11 @@ xLeftrightarrow
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula $\raisebox{6mm}{}\xLeftrightarrow[x=a]{x>0}\raisebox{-4mm}{}$
+\begin_inset Formula $\xLeftrightarrow[x=a]{x>0}$
\end_inset
@@ -9070,8 +8820,8 @@ xLeftrightarrow
\end_inset
|
|
-
-
+
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -9094,11 +8844,11 @@ xhookleftarrow
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula $\raisebox{6mm}{}\xhookleftarrow[x=a]{x>0}\raisebox{-4mm}{}$
+\begin_inset Formula $\xhookleftarrow[x=a]{x>0}$
\end_inset
@@ -9107,8 +8857,8 @@ xhookleftarrow
\end_inset
|
|
-
-
+
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -9131,11 +8881,11 @@ xhookrightarrow
\end_inset
|
-
+
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula $\raisebox{6mm}{}\xhookrightarrow[x=a]{x>0}\raisebox{-4mm}{}$
+\begin_inset Formula $\xhookrightarrow[x=a]{x>0}$
\end_inset
@@ -9155,11 +8905,11 @@ xhookrightarrow
\begin_inset Tabular
-
+
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -9168,34 +8918,18 @@ Command
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
Example
-\begin_inset Note Note
-status collapsed
-
-\begin_layout Plain Layout
-
-\series bold
-
-\backslash
-raisebox
-\series default
- is only used as spacer.
-\end_layout
-
-\end_inset
-
-
\end_layout
\end_inset
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -9218,11 +8952,11 @@ xleftharpoondown
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula $\raisebox{6mm}{}\xleftharpoondown[x=a]{x>0}\raisebox{-4mm}{}$
+\begin_inset Formula $\xleftharpoondown[x=a]{x>0}$
\end_inset
@@ -9231,8 +8965,8 @@ xleftharpoondown
\end_inset
|
| |
-
-
+
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -9255,11 +8989,11 @@ xleftharpoonup
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula $\raisebox{6mm}{}\xleftharpoonup[x=a]{x>0}\raisebox{-4mm}{}$
+\begin_inset Formula $\xleftharpoonup[x=a]{x>0}$
\end_inset
@@ -9268,8 +9002,8 @@ xleftharpoonup
\end_inset
|
|
-
-
+
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -9292,11 +9026,11 @@ xrightharpoondown
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula $\raisebox{6mm}{}\xrightharpoondown[x=a]{x>0}\raisebox{-4mm}{}$
+\begin_inset Formula $\xrightharpoondown[x=a]{x>0}$
\end_inset
@@ -9305,8 +9039,8 @@ xrightharpoondown
\end_inset
|
|
-
-
+
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -9329,11 +9063,11 @@ xrightharpoonup
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula $\raisebox{6mm}{}\xrightharpoonup[x=a]{x>0}\raisebox{-4mm}{}$
+\begin_inset Formula $\xrightharpoonup[x=a]{x>0}$
\end_inset
@@ -9342,8 +9076,8 @@ xrightharpoonup
\end_inset
|
|
-
-
+
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -9366,11 +9100,11 @@ xleftrightharpoons
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula $\raisebox{6mm}{}\xleftrightharpoons[x=a]{x>0}\raisebox{-4mm}{}$
+\begin_inset Formula $\xleftrightharpoons[x=a]{x>0}$
\end_inset
@@ -9379,8 +9113,8 @@ xleftrightharpoons
\end_inset
|
|
-
-
+
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -9403,11 +9137,11 @@ xrightleftharpoons
\end_inset
|
-
+
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula $\raisebox{6mm}{}\xrightleftharpoons[x=a]{x>0}\raisebox{-4mm}{}$
+\begin_inset Formula $\xrightleftharpoons[x=a]{x>0}$
\end_inset
@@ -9439,11 +9173,11 @@ The command scheme is for all these arrows:
\align center
\begin_inset Tabular
-
+
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -9452,34 +9186,18 @@ Command
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
Result
-\begin_inset Note Note
-status collapsed
-
-\begin_layout Plain Layout
-
-\series bold
-
-\backslash
-raisebox
-\series default
- is only used as spacer.
-\end_layout
-
-\end_inset
-
-
\end_layout
\end_inset
|
| |
-
-
+
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -9496,11 +9214,11 @@ F(x)
\end_inset
|
-
+
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula $\raisebox{6mm}{}F(a)\xleftrightarrow[x=a]{x>0}F(x)\raisebox{-4mm}{}$
+\begin_inset Formula $F(a)\xleftrightarrow[x=a]{x>0}F(x)$
\end_inset
@@ -9547,11 +9265,11 @@ Arrows ! vertical
\begin_inset Tabular
-
+
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -9560,7 +9278,7 @@ Command
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -9571,7 +9289,7 @@ Result
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -9582,7 +9300,7 @@ uparrow
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -9596,7 +9314,7 @@ uparrow
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -9607,7 +9325,7 @@ Uparrow
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -9621,7 +9339,7 @@ Uparrow
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -9632,7 +9350,7 @@ updownarrow
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -9646,7 +9364,7 @@ updownarrow
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -9657,7 +9375,7 @@ Updownarrow
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -9671,7 +9389,7 @@ Updownarrow
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -9682,7 +9400,7 @@ Downarrow
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -9696,7 +9414,7 @@ Downarrow
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -9707,7 +9425,7 @@ downarrow
\end_inset
|
-
+
\begin_inset Text
\begin_layout Plain Layout
@@ -9731,11 +9449,11 @@ downarrow
\begin_inset Tabular
-
+
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -9744,7 +9462,7 @@ Command
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -9755,7 +9473,7 @@ Result
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -9766,7 +9484,7 @@ nearrow
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -9780,7 +9498,7 @@ nearrow
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -9791,7 +9509,7 @@ searrow
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -9805,7 +9523,7 @@ searrow
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -9816,7 +9534,7 @@ swarrow
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -9830,7 +9548,7 @@ swarrow
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -9841,7 +9559,7 @@ nwarrow
\end_inset
|
-
+
\begin_inset Text
\begin_layout Plain Layout
@@ -10020,11 +9738,11 @@ Accents ! for one character
\begin_inset Tabular
-
+
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -10033,34 +9751,18 @@ Command
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
Result
-\begin_inset Note Note
-status collapsed
-
-\begin_layout Plain Layout
-
-\series bold
-
-\backslash
-raisebox
-\series default
- is only used as spacer.
-\end_layout
-
-\end_inset
-
-
\end_layout
\end_inset
|
| |
-
-
+
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -10075,11 +9777,11 @@ A
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula $\raisebox{5mm}{}\dot{A}$
+\begin_inset Formula $\dot{A}$
\end_inset
@@ -10088,8 +9790,8 @@ A
\end_inset
|
|
-
-
+
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -10104,11 +9806,11 @@ A
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula $\raisebox{5mm}{}\ddot{A}$
+\begin_inset Formula $\ddot{A}$
\end_inset
@@ -10117,8 +9819,8 @@ A
\end_inset
|
|
-
-
+
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -10133,11 +9835,11 @@ A
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula $\raisebox{5mm}{}\dddot{A}$
+\begin_inset Formula $\dddot{A}$
\end_inset
@@ -10146,8 +9848,8 @@ A
\end_inset
|
|
-
-
+
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -10162,11 +9864,11 @@ A
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula $\raisebox{5mm}{}\ddddot{A}$
+\begin_inset Formula $\ddddot{A}$
\end_inset
@@ -10175,8 +9877,8 @@ A
\end_inset
|
|
-
-
+
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -10201,11 +9903,11 @@ Vectors
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula $\raisebox{5mm}{}\vec{A}$
+\begin_inset Formula $\vec{A}$
\end_inset
@@ -10214,8 +9916,8 @@ Vectors
\end_inset
|
|
-
-
+
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -10230,11 +9932,11 @@ A
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula $\raisebox{5mm}{}\bar{A}$
+\begin_inset Formula $\bar{A}$
\end_inset
@@ -10243,8 +9945,8 @@ A
\end_inset
|
|
-
-
+
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -10259,11 +9961,11 @@ A
\end_inset
|
-
+
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula $\raisebox{5mm}{}\mathring{A}$
+\begin_inset Formula $\mathring{A}$
\end_inset
@@ -10283,11 +9985,11 @@ A
\begin_inset Tabular
-
+
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -10296,7 +9998,7 @@ Command
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -10306,8 +10008,8 @@ Result
\end_inset
|
| |
-
-
+
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -10322,11 +10024,11 @@ A
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula $\raisebox{5mm}{}\tilde{A}$
+\begin_inset Formula $\tilde{A}$
\end_inset
@@ -10335,8 +10037,8 @@ A
\end_inset
|
|
-
-
+
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -10351,11 +10053,11 @@ A
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula $\raisebox{5mm}{}\hat{A}$
+\begin_inset Formula $\hat{A}$
\end_inset
@@ -10364,8 +10066,8 @@ A
\end_inset
|
|
-
-
+
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -10380,11 +10082,11 @@ A
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula $\raisebox{5mm}{}\check{A}$
+\begin_inset Formula $\check{A}$
\end_inset
@@ -10393,8 +10095,8 @@ A
\end_inset
|
|
-
-
+
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -10409,11 +10111,11 @@ A
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula $\raisebox{5mm}{}\acute{A}$
+\begin_inset Formula $\acute{A}$
\end_inset
@@ -10422,8 +10124,8 @@ A
\end_inset
|
|
-
-
+
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -10438,11 +10140,11 @@ A
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula $\raisebox{5mm}{}\grave{A}$
+\begin_inset Formula $\grave{A}$
\end_inset
@@ -10451,8 +10153,8 @@ A
\end_inset
|
|
-
-
+
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -10467,11 +10169,11 @@ A
\end_inset
|
-
+
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula $\raisebox{5mm}{}\breve{A}$
+\begin_inset Formula $\breve{A}$
\end_inset
@@ -10547,11 +10249,11 @@ real
\align center
\begin_inset Tabular
-
-
+
+
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -10560,43 +10262,21 @@ Command
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
Result
-\begin_inset Note Note
-status collapsed
-
-\begin_layout Plain Layout
-
-\series bold
-
-\backslash
-raisebox
-\series default
- and the 0
-\begin_inset space \thinspace{}
-\end_inset
-
-pt space are only used as spacer.
-\end_layout
-
-\end_inset
-
-
\end_layout
\end_inset
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
-
-\lang ngerman
\begin_inset Quotes grd
\end_inset
@@ -10605,7 +10285,7 @@ i
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -10625,8 +10305,8 @@ i
\end_inset
|
| |
-
-
+
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -10641,11 +10321,11 @@ i
\end_inset
|
-
+
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula $\raisebox{5mm}{}\ddot{i}$
+\begin_inset Formula $\ddot{i}$
\end_inset
@@ -10763,7 +10443,7 @@ undertilde
\align center
\begin_inset Tabular
-
+
@@ -10787,7 +10467,7 @@ Result
|
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -10802,11 +10482,11 @@ A
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula $\raisebox{5mm}{}\utilde{A}$
+\begin_inset Formula $\utilde{A}$
\end_inset
diff --git a/lib/doc/de/Math.lyx b/lib/doc/de/Math.lyx
index ce785cc33b..3ea1443853 100644
--- a/lib/doc/de/Math.lyx
+++ b/lib/doc/de/Math.lyx
@@ -5037,7 +5037,7 @@ Matrix
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -5060,7 +5060,7 @@ Matrix
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -5191,7 +5191,7 @@ Matrix
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -5214,7 +5214,7 @@ Matrix
\end_inset
|
-
+
\begin_inset Text
\begin_layout Plain Layout
@@ -6076,7 +6076,7 @@ Diese Befehle werden benutzt um Klammerebenen optisch hervorzuheben:
\align center
\begin_inset Tabular
-
+
@@ -6093,7 +6093,7 @@ einheitliche Klammergröße:
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula $((A+B)(A-B))^{C}\raisebox{-4mm}{}$
+\begin_inset Formula $((A+B)(A-B))^{C}$
\end_inset
@@ -6102,7 +6102,7 @@ einheitliche Klammergröße:
\end_inset
|
| |
-
+
\begin_inset Text
@@ -6130,26 +6130,6 @@ besser sieht das so aus:
\end_inset
-\begin_inset Note Note
-status collapsed
-
-\begin_layout Plain Layout
-
-\series bold
-
-\backslash
-raisebox
-\series default
- dient nur
-\end_layout
-
-\begin_layout Plain Layout
-als Abstandhalter.
-\end_layout
-
-\end_inset
-
-
\end_layout
\begin_layout Standard
@@ -6308,11 +6288,11 @@ In der folgenden Tabelle sind die Varianten miteinander verglichen:
\align center
\begin_inset Tabular
-
-
+
+
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -6321,34 +6301,18 @@ Befehl
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
Ergebnis
-\begin_inset Note Note
-status collapsed
-
-\begin_layout Plain Layout
-
-\series bold
-
-\backslash
-raisebox
-\series default
- dient nur als Abstandhalter.
-\end_layout
-
-\end_inset
-
-
\end_layout
\end_inset
|
| |
-
-
+
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -6371,11 +6335,11 @@ Bigm)
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula $\raisebox{5.5mm}{}\Bigm(\bigm(\ln(3x)\bigm)^{2}\Bigm)\raisebox{-3.25mm}{}$
+\begin_inset Formula $\Bigm(\bigm(\ln(3x)\bigm)^{2}\Bigm)$
\end_inset
@@ -6384,8 +6348,8 @@ Bigm)
\end_inset
|
|
-
-
+
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -6408,11 +6372,11 @@ Big)
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula $\raisebox{5.5mm}{}\Big(\big(\ln(3x)\big)^{2}\Big)\raisebox{-3.25mm}{}$
+\begin_inset Formula $\Big(\big(\ln(3x)\big)^{2}\Big)$
\end_inset
@@ -6421,8 +6385,8 @@ Big)
\end_inset
|
|
-
-
+
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -6445,11 +6409,11 @@ Bigr)
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula $\raisebox{5.5mm}{}\Bigl(\bigl(\ln(3x)\bigr)^{2}\Bigr)\raisebox{-3.25mm}{}$
+\begin_inset Formula $\Bigl(\bigl(\ln(3x)\bigr)^{2}\Bigr)$
\end_inset
@@ -6458,8 +6422,8 @@ Bigr)
\end_inset
|
|
-
-
+
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -6474,11 +6438,11 @@ bigr(
\end_inset
|
-
+
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula $\raisebox{4.5mm}{}\bigl)\ln(3x)\bigr(\raisebox{-2mm}{}$
+\begin_inset Formula $\bigl)\ln(3x)\bigr($
\end_inset
@@ -6837,36 +6801,20 @@ Klammern ! horizontale
\align center
\begin_inset Tabular
-
+
-
+|
\begin_inset Text
\begin_layout Plain Layout
Befehl
-\begin_inset Note Note
-status collapsed
-
-\begin_layout Plain Layout
-
-\series bold
-
-\backslash
-raisebox
-\series default
- dient nur als Abstandhalter.
-\end_layout
-
-\end_inset
-
-
\end_layout
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -6877,22 +6825,10 @@ Ergebnis
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-raisebox{2.3mm}{
-\end_layout
-
-\end_inset
-
\backslash
overbrace
@@ -6908,17 +6844,6 @@ A+B
\end_inset
3
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-}
-\end_layout
-
-\end_inset
-
-
\begin_inset Index idx
status collapsed
@@ -6935,7 +6860,7 @@ overbrace
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -6948,23 +6873,11 @@ overbrace
\end_inset
|
| |
-
-
+
+|
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-raisebox{-2.2mm}{
-\end_layout
-
-\end_inset
-
\backslash
underbrace
@@ -6976,17 +6889,6 @@ A+B
\end_inset
_5
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-}
-\end_layout
-
-\end_inset
-
-
\begin_inset Index idx
status collapsed
@@ -7003,7 +6905,7 @@ underbrace
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -7017,7 +6919,7 @@ underbrace
|
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -7058,7 +6960,7 @@ C
\end_inset
|
-
+
\begin_inset Text
\begin_layout Plain Layout
@@ -7139,36 +7041,20 @@ laden
\align center
\begin_inset Tabular
-
+
-
+|
\begin_inset Text
\begin_layout Plain Layout
Befehl
-\begin_inset Note Note
-status collapsed
-
-\begin_layout Plain Layout
-
-\series bold
-
-\backslash
-raisebox
-\series default
- dient nur als Abstandhalter.
-\end_layout
-
-\end_inset
-
-
\end_layout
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -7179,22 +7065,10 @@ Ergebnis
|
| |
-
+|
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-raisebox{2.3mm}{
-\end_layout
-
-\end_inset
-
\backslash
overbracket{A+B
@@ -7202,17 +7076,6 @@ overbracket{A+B
\end_inset
^3
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-}
-\end_layout
-
-\end_inset
-
-
\begin_inset Index idx
status collapsed
@@ -7229,7 +7092,7 @@ overbracket
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -7242,23 +7105,11 @@ overbracket
\end_inset
|
| |
-
-
+
+|
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-raisebox{-2.2mm}{
-\end_layout
-
-\end_inset
-
\backslash
underbracket{A+B
@@ -7266,17 +7117,6 @@ underbracket{A+B
\end_inset
_5
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-}
-\end_layout
-
-\end_inset
-
-
\begin_inset Index idx
status collapsed
@@ -7295,7 +7135,7 @@ bracket
\end_inset
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -7309,7 +7149,7 @@ bracket
|
|
-
+|
\begin_inset Text
\begin_layout Plain Layout
@@ -7342,7 +7182,7 @@ C
\end_inset
|
-
+ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | |