1 files changed, 23 insertions, 29 deletions
diff --git a/info/examples/Math/07-05-4.ltx b/info/examples/Math/07-05-4.ltx
index 183d53a63f..c75d09c3e6 100644
--- a/info/examples/Math/07-05-4.ltx
+++ b/info/examples/Math/07-05-4.ltx
@@ -1,48 +1,42 @@
 %% 
 %%  Ein Beispiel der DANTE-Edition
 %%  Mathematiksatz mit LaTeX
-%%  2. Auflage
-%% 
+%%  3. Auflage
 %%  Beispiel 07-05-4 auf Seite 143.
-%% 
-%%  Copyright (C) 2012 Herbert Voss
+%%  Copyright (C) 2018 Herbert Voss
 %% 
 %%  It may be distributed and/or modified under the conditions
 %%  of the LaTeX Project Public License, either version 1.3
 %%  of this license or (at your option) any later version.
-%% 
 %%  See http://www.latex-project.org/lppl.txt for details.
 %% 
-%% 
 %% ==== 
 % Show page(s) 1
 %% 
 %% 
-\documentclass[]{examinimal-mathsymbols}
+\documentclass[10pt]{examinimal-mathsymbols}
 \pagestyle{empty}
 \setlength\textwidth{352.81416pt}
-\AtBeginDocument{\setlength\parindent{0pt}}
-\StartShownPreambleCommands
-\usepackage{array,mathabx}
-\def\mathsymbol#1{%
-   $ \csname#1\endcsname \displaystyle\csname#1\endcsname$ & \texttt{\textbackslash#1} &}
-\StopShownPreambleCommands
+%StartShownPreambleCommands
+\usepackage{array,stmaryrd}
+%StopShownPreambleCommands
 \begin{document}
-\renewcommand\arraystretch{1.8}
-\begin{tabular}{@{}*2{r@{\kern3pt}l}rl@{}l@{}}
-\mathsymbol{bigcurlyvee}            \mathsymbol{bigboxslash}           \mathsymbol{bigoright}           \\
-\mathsymbol{bigsqcap}                  \mathsymbol{bigboxtimes}           \mathsymbol{bigoslash}           \\
-\mathsymbol{bigcurlywedge}        \mathsymbol{bigboxtop}               \mathsymbol{bigotop}               \\
-\mathsymbol{bigboxasterisk}      \mathsymbol{bigboxtriangleup} \mathsymbol{bigotriangleup} \\
-\mathsymbol{bigboxbackslash}    \mathsymbol{bigboxvoid}             \mathsymbol{bigovoid}             \\
-\mathsymbol{bigboxbot}                \mathsymbol{bigcomplementop}   \mathsymbol{bigplus}               \\
-\mathsymbol{bigboxcirc}              \mathsymbol{bigoasterisk}         \mathsymbol{bigsquplus}         \\
-\mathsymbol{bigboxcoasterisk}  \mathsymbol{bigobackslash}       \mathsymbol{bigtimes}             \\
-\mathsymbol{bigboxdiv}                \mathsymbol{bigobot}                   \mathsymbol{iiint}                 \\
-\mathsymbol{bigboxdot}                \mathsymbol{bigocirc}                 \mathsymbol{iint}                   \\
-\mathsymbol{bigboxleft}              \mathsymbol{bigocoasterisk}     \mathsymbol{int}                     \\
-\mathsymbol{bigboxminus}            \mathsymbol{bigodiv}                   \mathsymbol{oiint}                 \\
-\mathsymbol{bigboxplus}              \mathsymbol{bigoleft}                 \mathsymbol{oint}                   \\
-\mathsymbol{bigboxright}            \mathsymbol{bigominus}
+\renewcommand\arraystretch{1.1}
+\begin{tabular}{@{}*{2}{r@{\kern3pt}l}r@{\kern3pt}l@{}l@{}}
+$\Arrownot\Longmapsto$ & \Lcs{Arrownot}\Lcs{Longmapsto} &
+$\Arrownot\shortrightarrow$ & \rlap{\Lcs{Arrownot}\Lcs{shortrightarrow}}\\[5pt]
+$\leftrightarrowtriangle$   & \rlap{\Lcs{leftrightarrowtriangle}} &&&
+\mathsymbol{lightning}\\
+\mathsymbol{longmapsfrom} \mathsymbol{Longmapsfrom} \mathsymbol{Longmapsto}\\
+\mathsymbol{Mapsto}
+\mathsymbol{Mapsfrom}              $\leftarrowtriangle$ & \rlap{\Lcs{leftarrowtriangle}}\\
+\mathsymbol{leftrightarroweq}
+\mathsymbol{mapsfrom}              \mathsymbol{nnearrow}         \\
+\mathsymbol{nnwarrow}
+\mathsymbol{rightarrowtriangle}    \mathsymbol{rrparenthesis}    \\
+\mathsymbol{shortdownarrow}
+\mathsymbol{shortleftarrow}        \mathsymbol{shortrightarrow}  \\
+\mathsymbol{shortuparrow}
+\mathsymbol{ssearrow}              \mathsymbol{sswarrow}
 \end{tabular}
 \end{document}