summaryrefslogtreecommitdiff
path: root/info/examples/tlc2/7-12-1.ltx
blob: 38a1ba947d363b4905f9fb836fd2c4d180418e33 (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
%%
%% The LaTeX Companion, 2ed (second printing August 2004)
%%
%% Example 7-12-1 on page 464.
%%
%% Copyright (C) 2004 Frank Mittelbach, Michel Goossens,
%%    Johannes Braams, David Carlisle, and Chris Rowley
%%
%% 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{ttctexa}
\pagestyle{empty}
\setcounter{page}{6}
\setlength\textwidth{111.0pt}


\StartShownPreambleCommands
\usepackage{latexsym}    \newcommand\Q[1]{$#1$ \quad}
\StopShownPreambleCommands
\begin{document}
\Q{\Box} \Q{\Diamond} \Q{\Join} \Q{\leadsto} \Q{\lhd} \Q{\mho}
\Q{\rhd} \Q{\sqsubset} \Q{\sqsupset} \Q{\unlhd} \Q{\unrhd}
\end{document}