summaryrefslogtreecommitdiff
path: root/info/examples/lb2/8-9-4.ltx
blob: 4e26d3e2b8c4651ddc9139630f8f84e6409d3d0a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
%%
%% Der LaTeX-Begleiter, zweite Auflage (September 2005)
%%
%% Beispiel 8-9-4 von Seite 545.
%%
%% Copyright (C) 2005 Frank Mittelbach, Michel Goossens,
%%    Johannes Braams, David Carlisle, and Chris Rowley
%%
%% Uebersetzung: Copyright (C) 2005 Claudia Krysztofiak,
%%    Rebecca Stiels und Frank Mittelbach
%%
%% 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.
%%

\documentclass{lb2exa}
\pagestyle{empty}
\setcounter{page}{6}
\setlength\textwidth{125.4372pt}

% Um die Unterschiede deutlicher hervorzuheben werden die
% voreingestellten Werte vergrößert (für echte
% Dokumente nicht zu empfehlen):
\thickmuskip=7mu plus 5mu

\StartShownPreambleCommands
\usepackage[fleqn]{amsmath}   \usepackage{amssymb}
\DeclareMathSymbol\bneg   {\mathbin}{symbols}{"3A}
\DeclareMathSymbol\rsquare{\mathrel}{AMSa}{"03}
\StopShownPreambleCommands
\begin{document}
\[ a \neg b           \qquad  x \square           y + z \]
\[ a \mathbin{\neg} b \qquad  x \mathrel{\square} y + z \]
\[ a \bneg          b \qquad  x \rsquare          y + z \]
\end{document}