summaryrefslogtreecommitdiff
path: root/info/examples/Math/07-05-5.ltx
diff options
context:
space:
mode:
Diffstat (limited to 'info/examples/Math/07-05-5.ltx')
-rw-r--r--info/examples/Math/07-05-5.ltx33
1 files changed, 10 insertions, 23 deletions
diff --git a/info/examples/Math/07-05-5.ltx b/info/examples/Math/07-05-5.ltx
index 4c27ec2484..1fbee7c622 100644
--- a/info/examples/Math/07-05-5.ltx
+++ b/info/examples/Math/07-05-5.ltx
@@ -1,41 +1,28 @@
%%
%% Ein Beispiel der DANTE-Edition
%% Mathematiksatz mit LaTeX
-%% 2. Auflage
-%%
+%% 3. Auflage
%% Beispiel 07-05-5 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}
+\setlength\textwidth{170.40707pt}
\AtBeginDocument{\setlength\parindent{0pt}}
-\StartShownPreambleCommands
-\usepackage{array,mathabx}
-\StopShownPreambleCommands
+%StartShownPreambleCommands
+\usepackage{stmaryrd,lucidabr}
+%StopShownPreambleCommands
\begin{document}
-\renewcommand\arraystretch{1.1}
-\begin{tabular}{@{}*{3}{l@{\kern3pt}l}r@{\kern3pt}l@{}l@{}}
-\mathsymbol{between} \mathsymbol{divides} \mathsymbol{risingdotseq}\mathsymbol{botdoteq}\\
-\mathsymbol{dotseq} \mathsymbol{succapprox} \mathsymbol{Bumpedeq} \mathsymbol{eqbumped}\\
-\mathsymbol{succcurlyeq} \mathsymbol{bumpedeq} \mathsymbol{eqcirc} \mathsymbol{succdot} \\
-\mathsymbol{circeq} \mathsymbol{eqcolon} \mathsymbol{succsim} \mathsymbol{coloneq} \\
-\mathsymbol{fallingdotseq}\mathsymbol{therefore} \mathsymbol{corresponds} \mathsymbol{ggcurly} \\
-\mathsymbol{topdoteq} \mathsymbol{curlyeqprec}\mathsymbol{llcurly} \mathsymbol{vDash} \\
-\mathsymbol{curlyeqsucc} \mathsymbol{precapprox} \mathsymbol{Vdash} \mathsymbol{DashV} \\
-\mathsymbol{preccurlyeq} \mathsymbol{VDash} \mathsymbol{Dashv} \mathsymbol{precdot} \\
-\mathsymbol{Vvdash} \mathsymbol{dashVv} \mathsymbol{precsim}
-\end{tabular}
+\[ \left\llbracket
+ \bigbox_{i\inplus I}^{a \varoplus b} P_i
+\right\rrbracket \]
\end{document}