%% 
%%  An UIT Edition example
%% 
%%  Example 07-01-8 on page 129.
%% 
%%  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}
\StopShownPreambleCommands
\begin{document}
\renewcommand\arraystretch{1.1}
\begin{tabular}{@{}*{5}{l@{\kern3pt}l}r@{\kern3pt}ll@{}}
$:$ & $:$ &
\mathsymbol{bowtie}
\mathsymbol{dashv}
\mathsymbol{frown}
\mathsymbol{mid}
\mathsymbol{models}\\
\mathsymbol{parallel}
\mathsymbol{perp}
\mathsymbol{propto}
\mathsymbol{smile}
\mathsymbol{vdash}
\end{tabular}
\end{document}