%% 
%%  An UIT Edition example
%% 
%%  Example 07-05-6 on page 136.
%% 
%%  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}

\StartShownPreambleCommands
\usepackage{array,mathabx}
\StopShownPreambleCommands
\begin{document}
\renewcommand\arraystretch{1.1}
\begin{tabular}{@{}*{3}{r@{\kern3pt}l}r@{\kern3pt}l@{}l@{}}
\mathsymbol{napprox}      \mathsymbol{notperp}      \mathsymbol{nvDash}  \mathsymbol{ncong}   \\
\mathsymbol{nprec}        \mathsymbol{nVDash}  \mathsymbol{ncurlyeqprec} \mathsymbol{nprecapprox}\\
\mathsymbol{nVdash}       \mathsymbol{ncurlyeqsucc} \mathsymbol{npreccurlyeq} \mathsymbol{nvdash}           \\
\mathsymbol{nDashv}       \mathsymbol{npreceq}      \mathsymbol{nVvash}  \mathsymbol{ndashV} \\
\mathsymbol{nprecsim}     \mathsymbol{precnapprox}  \mathsymbol{ndashv}       \mathsymbol{nsim}\\
\mathsymbol{precneq}      \mathsymbol{nDashV}       \mathsymbol{nsimeq}       \mathsymbol{precnsim}       \\
\mathsymbol{ndashVv}      \mathsymbol{nsucc}        \mathsymbol{succnapprox} \mathsymbol{neq} \\
\mathsymbol{nsuccapprox}  \mathsymbol{succneq}      \mathsymbol{notasymp}     \mathsymbol{nsucccurlyeq}\\
\mathsymbol{succnsim}     \mathsymbol{notdivides}   \mathsymbol{nsucceq}     \mathsymbol{notequiv}\\
\mathsymbol{nsuccsim}
\end{tabular}
\end{document}
