\begin{tabular}{clclcl} $\Join $& \verb+\Join+ & $\Box $& \verb+\Box+ & $\Diamond $& \verb+\Diamond+\\ $\leadsto $& \verb+\leadsto+ & $\sqsubset $& \verb+\sqsubset+ & $\sqsupset $& \verb+\sqsupset+\\ $\lhd $& \verb+\lhd+ & $\unlhd $& \verb+\unlhd+ & $\LHD $& \verb+\LHD+\\ $\rhd $& \verb+\rhd+ & $\unrhd $& \verb+\unrhd+ & $\RHD $& \verb+\RHD+\\ $\apprle $& \verb+\apprle+ & $\apprge $& \verb+\apprge+ & $\wasypropto $& \verb+\wasypropto+\\ $\invneg $& \verb+\invneg+ & $\ocircle $& \verb+\ocircle+ & $\logof $& \verb+\logof+\\ $\varint $& \verb+\varint+ & $\iint $& \verb+\iint+ & $\iiint $& \verb+\iiint+\\ $\varoint $& \verb+\varoint+ & $\oiint $& \verb+\oiint+ & & \end{tabular} |