summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/math-e/07-14-3.ltx
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/latex/math-e/07-14-3.ltx')
-rw-r--r--Master/texmf-dist/doc/latex/math-e/07-14-3.ltx43
1 files changed, 43 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/math-e/07-14-3.ltx b/Master/texmf-dist/doc/latex/math-e/07-14-3.ltx
new file mode 100644
index 00000000000..25fa5d6f06d
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/math-e/07-14-3.ltx
@@ -0,0 +1,43 @@
+%%
+%% An UIT Edition example
+%%
+%% Example 07-14-3 on page 146.
+%%
+%% Copyright (C) 2010 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[]{exasymbol}
+\pagestyle{empty}
+\setlength\textwidth{375.57637pt}
+\AtBeginDocument{\setlength\parindent{0pt}}
+\StartShownPreambleCommands
+\usepackage{array,pxfonts}
+\StopShownPreambleCommands
+\begin{document}
+\begin{tabular}{@{}*{2}{r@{\kern3pt}l}r@{\kern3pt}l@{}l@{}}
+\mathsymbol{circledgtr}\mathsymbol{lJoin}\mathsymbol{opentimes}\\
+\mathsymbol{circledless}\mathsymbol{lrtimes}\mathsymbol{Perp}\\
+\mathsymbol{colonapprox}\mathsymbol{multimap}\mathsymbol{preceqq}\\
+\mathsymbol{Colonapprox}\mathsymbol{multimapboth}\mathsymbol{precneqq}\\
+\mathsymbol{coloneq}\mathsymbol{multimapbothvert}\mathsymbol{rJoin}\\
+\mathsymbol{Coloneq}\mathsymbol{multimapdot}\mathsymbol{strictfi}\\
+\mathsymbol{Coloneqq}\mathsymbol{multimapdotboth}\mathsymbol{strictif}\\
+\mathsymbol{coloneqq$^*$}\mathsymbol{multimapdotbothA}\mathsymbol{strictiff}\\
+\mathsymbol{Colonsim}\mathsymbol{multimapdotbothAvert}\mathsymbol{succeqq}\\
+\mathsymbol{colonsim}\mathsymbol{multimapdotbothB}\mathsymbol{succneqq}\\
+\mathsymbol{Eqcolon}\mathsymbol{multimapdotbothBvert}\mathsymbol{varparallel}\\
+\mathsymbol{eqcolon}\mathsymbol{multimapdotbothvert}\mathsymbol{varparallelinv}\\
+\mathsymbol{eqqcolon}\mathsymbol{multimapdotinv}\mathsymbol{VvDash}\\
+\mathsymbol{Eqqcolon}\mathsymbol{multimapinv}\\
+\mathsymbol{eqsim}\mathsymbol{openJoin}
+\end{tabular}
+\end{document}