fix double fullstop and add support for more relation symbols in salign

This commit is contained in:
2020-05-20 12:11:34 +02:00
parent 32a9e0e08a
commit f4c36cb129
3 changed files with 11 additions and 4 deletions
+2 -2
View File
@@ -15,7 +15,7 @@
\begin{proof} \begin{proof}
Sei $x \in \mathbb{K}^{n}$. Dann ist Sei $x \in \mathbb{K}^{n}$. Dann ist
\begin{salign} \begin{salign*}
\Vert (\mathbb{I} + B) x \Vert \Vert (\mathbb{I} + B) x \Vert
&= \Vert x + B x\Vert \\ &= \Vert x + B x\Vert \\
&\stackrel{\text{Dreiecksungl.}}{\ge } \Vert x \Vert - \Vert Bx \Vert \\ &\stackrel{\text{Dreiecksungl.}}{\ge } \Vert x \Vert - \Vert Bx \Vert \\
@@ -33,7 +33,7 @@
- \Vert B (\mathbb{I} + B)^{-1} \Vert \\ - \Vert B (\mathbb{I} + B)^{-1} \Vert \\
&\ge \Vert (\mathbb{I} + B)^{-1} \Vert - \Vert B \Vert \cdot \Vert (\mathbb{I} + B)^{-1} \Vert \\ &\ge \Vert (\mathbb{I} + B)^{-1} \Vert - \Vert B \Vert \cdot \Vert (\mathbb{I} + B)^{-1} \Vert \\
&= (1 - \Vert B \Vert) \Vert (\mathbb{I} + B)^{-1} \Vert &= (1 - \Vert B \Vert) \Vert (\mathbb{I} + B)^{-1} \Vert
.\end{salign} .\end{salign*}
Damit folgt die Behauptung. Damit folgt die Behauptung.
\end{proof} \end{proof}
BIN
View File
Binary file not shown.
+9 -2
View File
@@ -162,10 +162,17 @@
% uses regular expressions to calculate the widest stackrel % uses regular expressions to calculate the widest stackrel
% to put additional padding on both sides of relation symbols % to put additional padding on both sides of relation symbols
\NewEnviron{salign} \NewEnviron{salign}
{
\begin{align}
\lec_insert_padding:V \BODY
\end{align}
}
% starred version that does no equation numbering
\NewEnviron{salign*}
{ {
\begin{align*} \begin{align*}
\lec_insert_padding:V \BODY \lec_insert_padding:V \BODY
.\end{align*} \end{align*}
} }
% some helper variables % some helper variables
@@ -210,7 +217,7 @@
} }
% replace all relations with align characters (&) and add the needed padding % replace all relations with align characters (&) and add the needed padding
\regex_replace_all:nnN \regex_replace_all:nnN
{ (&=|&\c{le}|&\c{ge}|&\c{stackrel}{.*?}{.*?}|&\c{neq}) } { (\c{approx}&|&\c{approx}|\c{equiv}&|&\c{equiv}|=&|&=|\c{le}&|&\c{le}|\c{ge}&|&\c{ge}|&\c{stackrel}{.*?}{.*?}|\c{stackrel}{.*?}{.*?}&|&\c{neq}|\c{neq}&) }
{ \c{kern} \u{l_tmp_dim_needed} \1 \c{kern} \u{l_tmp_dim_needed} } { \c{kern} \u{l_tmp_dim_needed} \1 \c{kern} \u{l_tmp_dim_needed} }
\l__lec_text_tl \l__lec_text_tl
\l__lec_text_tl \l__lec_text_tl