diff options
Diffstat (limited to 'info/examples/Math/07-05-5.ltx')
-rw-r--r-- | info/examples/Math/07-05-5.ltx | 33 |
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} |