%% %% Der Mathematiksatz mit LaTeX, 1. Auflage 2009 %% %% Example 7-5-5 on page 143. %% %% Copyright (C) 2009 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. %% \documentclass[]{ttctminimal} \pagestyle{empty} \setcounter{page}{6} \setlength\textwidth{355.65944pt} \AtBeginDocument{\setlength\parindent{0pt}} \StartShownPreambleCommands \usepackage{array,mathabx} \StopShownPreambleCommands \begin{document} \renewcommand\arraystretch{1.1} \begin{tabular}{@{}*{3}{l@{\kern3pt}l}r@{\kern3pt}l@{}l@{}} \mathsymbol{between} \mathsymbol{divides} \mathsymbol{risingdotseq}\mathsymbol{botdoteq}\\ \mathsymbol{dotseq} \mathsymbol{succapprox} \mathsymbol{Bumpedeq} \mathsymbol{eqbumped}\\ \mathsymbol{succcurlyeq} \mathsymbol{bumpedeq} \mathsymbol{eqcirc} \mathsymbol{succdot} \\ \mathsymbol{circeq} \mathsymbol{eqcolon} \mathsymbol{succsim} \mathsymbol{coloneq} \\ \mathsymbol{fallingdotseq}\mathsymbol{therefore} \mathsymbol{corresponds} \mathsymbol{ggcurly} \\ \mathsymbol{topdoteq} \mathsymbol{curlyeqprec}\mathsymbol{llcurly} \mathsymbol{vDash} \\ \mathsymbol{curlyeqsucc} \mathsymbol{precapprox} \mathsymbol{Vdash} \mathsymbol{DashV} \\ \mathsymbol{preccurlyeq} \mathsymbol{VDash} \mathsymbol{Dashv} \mathsymbol{precdot} \\ \mathsymbol{Vvdash} \mathsymbol{dashVv} \mathsymbol{precsim} \end{tabular} \end{document}