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
39
40
41
42
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}
|
