1 files changed, 88 insertions, 37 deletions
diff --git a/info/examples/Math/07-02-2.ltx b/info/examples/Math/07-02-2.ltx
index 630294e36f..60826bad96 100644
--- a/info/examples/Math/07-02-2.ltx
+++ b/info/examples/Math/07-02-2.ltx
@@ -1,59 +1,110 @@
 %% 
 %%  Ein Beispiel der DANTE-Edition
 %%  Mathematiksatz mit LaTeX
-%%  2. Auflage
-%% 
-%%  Beispiel 07-02-2 auf Seite 139.
-%% 
-%%  Copyright (C) 2012 Herbert Voss
+%%  3. Auflage
+%%  Beispiel 07-02-2 auf Seite 137.
+%%  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
+%StartShownPreambleCommands
 \usepackage{array,amssymb}
-\StopShownPreambleCommands
+%StopShownPreambleCommands
 \begin{document}
 \renewcommand\arraystretch{1.3}
 \begin{tabular}{@{}*{2}{r@{\kern3pt}l}r@{\kern3pt}l@{}l@{}}
-\mathsymbol{boxdot}
-\mathsymbol{boxplus}
-\mathsymbol{boxtimes}\\
-\mathsymbol{centerdot}
-\mathsymbol{boxminus}
-\mathsymbol{veebar}\\
-\mathsymbol{barwedge}
-\mathsymbol{doublebarwedge}
-\mathsymbol{Cup}\\
-\mathsymbol{Cap}
-\mathsymbol{curlywedge}
-\mathsymbol{curlyvee}\\
-\mathsymbol{leftthreetimes}
-\mathsymbol{rightthreetimes}
-\mathsymbol{dotplus}\\
-\mathsymbol{intercal}
-\mathsymbol{circledcirc}
-\mathsymbol{circledast}\\
-\mathsymbol{circleddash}
-\mathsymbol{diagup}
-\mathsymbol{diagdown}\\
-\mathsymbol{divideontimes}
-\mathsymbol{lessdot}
-\mathsymbol{gtrdot}\\
-\mathsymbol{ltimes}
-\mathsymbol{rtimes}
-\mathsymbol{smallsetminus}
+\mathsymbol{circlearrowright}
+\mathsymbol{circlearrowleft}
+\mathsymbol{rightleftharpoons}\\
+\mathsymbol{leftrightharpoons}
+\mathsymbol{Vdash}
+\mathsymbol{Vvdash}\\
+\mathsymbol{vDash}
+\mathsymbol{twoheadrightarrow}
+\mathsymbol{twoheadleftarrow}\\
+\mathsymbol{leftleftarrows}
+\mathsymbol{rightrightarrows}
+\mathsymbol{upuparrows}\\
+\mathsymbol{downdownarrows}
+\mathsymbol{upharpoonright}\\
+\mathsymbol{downharpoonright}
+\mathsymbol{upharpoonleft}
+\mathsymbol{downharpoonleft}\\
+\mathsymbol{rightarrowtail}
+\mathsymbol{leftarrowtail}
+\mathsymbol{leftrightarrows}\\
+\mathsymbol{rightleftarrows}
+\mathsymbol{Lsh}
+\mathsymbol{Rsh}\\
+\mathsymbol{rightsquigarrow}
+\mathsymbol{leftrightsquigarrow}
+\mathsymbol{looparrowleft}\\
+\mathsymbol{looparrowright}
+\mathsymbol{circeq}
+\mathsymbol{succsim}\\
+\mathsymbol{gtrsim}
+\mathsymbol{gtrapprox}
+\mathsymbol{multimap}\\
+\mathsymbol{therefore}
+\mathsymbol{because}
+\mathsymbol{doteqdot}\\
+\mathsymbol{triangleq}
+\mathsymbol{precsim}
+\mathsymbol{lesssim}\\
+\mathsymbol{lessapprox}
+\mathsymbol{eqslantless}
+\mathsymbol{eqslantgtr}\\
+\mathsymbol{curlyeqprec}
+\mathsymbol{curlyeqsucc}
+\mathsymbol{preccurlyeq}\\
+\mathsymbol{leqq}
+\mathsymbol{leqslant}
+\mathsymbol{lessgtr}\\
+\mathsymbol{risingdotseq}
+\mathsymbol{fallingdotseq}
+\mathsymbol{succcurlyeq}\\
+\mathsymbol{geqq}
+\mathsymbol{geqslant}
+\mathsymbol{gtrless}\\
+\mathsymbol{vartriangleright}
+\mathsymbol{vartriangleleft}
+\mathsymbol{trianglerighteq}\\
+\mathsymbol{trianglelefteq}
+\mathsymbol{between}
+\mathsymbol{blacktriangleright}\\
+\mathsymbol{blacktriangleleft}
+\mathsymbol{vartriangle}
+\mathsymbol{eqcirc}\\
+\mathsymbol{lesseqgtr}
+\mathsymbol{gtreqless}
+\mathsymbol{lesseqqgtr}\\
+\mathsymbol{gtreqqless}
+\mathsymbol{Rrightarrow}
+\mathsymbol{Lleftarrow}\\
+\mathsymbol{varpropto}
+\mathsymbol{smallsmile}
+\mathsymbol{smallfrown}\\
+\mathsymbol{Subset}
+\mathsymbol{Supset}
+\mathsymbol{subseteqq}\\
+\mathsymbol{supseteqq}
+\mathsymbol{bumpeq}
+\mathsymbol{Bumpeq}\\
+\mathsymbol{lll}
+\mathsymbol{ggg}
+\mathsymbol{pitchfork}\\
+\mathsymbol{backsim}
+\mathsymbol{backsimeq}
 \end{tabular}
 \end{document}