%% 
%%  Ein Beispiel der DANTE-Edition
%%  Mathematiksatz mit LaTeX
%%  3. Auflage
%%  Beispiel 07-13-3 auf Seite 148.
%%  Copyright (C) 2018 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[10pt]{examinimal-mathsymbols}
\pagestyle{empty}
\setlength\textwidth{352.81416pt}
\AtBeginDocument{\setlength\parindent{0pt}}
%StartShownPreambleCommands
\usepackage{array,newtxmath}
%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}