\documentclass{asl}
\usepackage{rotate}
\advance\textwidth by 3cm
\advance\oddsidemargin by -3cm
\advance\evensidemargin by -3 cm

\begin{document}
\centerline{\bf \LaTeX\ symbols}
\medskip

\begin{tabbing}
lolong\= veryveryveryveryveryvery\= 
lolong\= veryveryveryveryveryvery\=
lolong\= veryveryveryveryveryvery\=
lolong\= veryveryveryveryveryvery
\kill \\
$\amalg$ \> \verb+\amalg+ \> $\approx$ \> \verb+\approx+ \>
$\angle$ \> \verb+\angle+ \> $\ast$ \> \verb+\ast+ \\
$\bigodot$ \> \verb+\bigodot+ \> $\bigoplus$ \> \verb+\bigoplus+ \>
$\bigotimes$ \> \verb+\bigotimes+ \> $\bigsqcup$ \> \verb+\bigsqcup+ \\
$\bigtriangledown$ \> \verb+\bigtriangledown+ \> $\bigtriangleup$ \> \verb+\bigtriangleup+ \>
$\biguplus$ \> \verb+\biguplus+ \> $\bigvee$ \> \verb+\bigvee+ \\
$\bigwedge$ \> \verb+\bigwedge+ \> $\bot$ \> \verb+\bot+ \>
$\bowtie$ \> \verb+\bowtie+ \> $\bracelu$ \> \verb+\bracelu+ \\
$\bracerd$ \> \verb+\bracerd+ \> $\braceru$ \> \verb+\braceru+ \>
$\bullet$ \> \verb+\bullet+ \> $\cap$ \> \verb+\cap+ \\
$\cdotp$ \> \verb+\cdotp+ \> $\cdots$ \> \verb+\cdots+ \>
$\cdot$ \> \verb+\cdot+ \> $\circ$ \> \verb+\circ+ \\
$\clubsuit$ \> \verb+\clubsuit+ \> $\colon$ \> \verb+\colon+ \>
$\cong$ \> \verb+\cong+ \> $\coprod$ \> \verb+\coprod+ \\
$\cup$ \> \verb+\cup+ \> $\dagger$ \> \verb+\dagger+ \>
$\dashv$ \> \verb+\dashv+ \> $\ddagger$ \> \verb+\ddagger+ \\
$\acute{x}$ \> \verb+\acute{x}+ \> $\bar{x}$ \> \verb+\bar{x}+ \>
$\breve{x}e$ \> \verb+\breve{x}+ \> $\check{x}$ \> \verb+\check{x}+ \\
$\ddot{x}$ \> \verb+\ddot{x}+ \> $\dot{x}$ \> \verb+\dot{x}+ \>
$\grave{x}$ \> \verb+\grave{x}+ \> $\hat{x}$ \> \verb+\hat{x}+ \\
$\tilde{x}$ \> \verb+\tilde{x}+ \> $\vec{x}$ \> \verb+\vec{x}+ \>
$\widehat{x}$ \> \verb+\widehat{x}+ \> $\widetilde{x}$ \> \verb+\widetilde{x}+ \\
$\arrowvert$ \> \verb+\arrowvert+ \> $\Arrowvert$ \> \verb+\Arrowvert+ \>
$\backslash$ \> \verb+\backslash+ \> $\bracevert$ \> \verb+\bracevert+ \\
$\Downarrow$ \> \verb+\Downarrow+ \> $\downarrow$ \> \verb+\downarrow+ \>
$\langle$ \> \verb+\langle+ \> $\lceil$ \> \verb+\lceil+ \\
$\lfloor$ \> \verb+\lfloor+ \> $\lgroup$ \> \verb+\lgroup+ \>
$\lmoustache$ \> \verb+\lmoustache+ \> $\rangle$ \> \verb+\rangle+ \\
$\rbrace$ \> \verb+\rbrace+ \> $\rceil$ \> \verb+\rceil+ \>
$\rfloor$ \> \verb+\rfloor+ \> $\rgroup$ \> \verb+\rgroup+ \\
$\rmoustache$ \> \verb+\rmoustache+ \> $\uparrow$ \> \verb+\uparrow+ \>
$\Uparrow$ \> \verb+\Uparrow+ \> $\Updownarrow$ \> \verb+\Updownarrow+ \\
$\updownarrow$ \> \verb+\updownarrow+ \> $\vert$ \> \verb+\vert+ \>
$\Vert$ \> \verb+\Vert+ \> $\sqrtsign{2}$ \> \verb+\sqrtsign+ \\
$\longleftarrow$ \> \verb+\longleftarrow+ \> $\longrightarrow$ \> \verb+\longrightarrow+ \>
$\diamondsuit$ \> \verb+\diamondsuit+ 
\> $\diamond$ \> \verb+\diamond+ \\
$\emptyset$ \> \verb+\emptyset+ \> $\equiv$ \> \verb+\equiv+ \>
$\exists$ \> \verb+\exists+ \> $\flat$ \> \verb+\flat+ \\
$\forall$ \> \verb+\forall+ \> $\frown$ \> \verb+\frown+ \>
$\geq$ \> \verb+\geq+  \> $\gg$ \> \verb+\gg+ \\
$\heartsuit$ \> \verb+\heartsuit+ \> $\hookleftarrow$ \> \verb+\hookleftarrow+ \>
$\hookrightarrow$ \> \verb+\hookrightarrow+ \> $\iff$ \> \verb+\iff+ \\
$\Im$ \> \verb+\Im+ \> $\imath$ \> \verb+\imath+ \>
$\infty$ \> \verb+\infty+ \> $\intop$ \> \verb+\intop+ \\
$\int$ \> \verb+\int+ \> $\in$ \> \verb+\in+ \>
$\jmath$ \> \verb+\jmath+ \> $\land$ \> \verb+\land+ \\
$\wedge$ \> \verb+\wedge+ \> $\ldotp$ \> \verb+\ldotp+ \>
$\le$ \> \verb+\le+ \> $\leq$ \> \verb+\leq+ \\
$\leftarrow$ \> \verb+\leftarrow+ \> $\Leftarrow$ \> \verb+\Leftarrow+ \>
$\leftharpoondown$ \> \verb+\leftharpoondown+ \> $\leftharpoonup$ \> \verb+\leftharpoonup+ \\
$\leftrightarrow$ \> \verb+\leftrightarrow+ \> $\Leftrightarrow$ \> \verb+\Leftrightarrow+ \>
$\leq$ \> \verb+\leq+ \> $\lhook$ \> \verb+\lhook+ \\
$\ll$ \> \verb+\ll+ \> $\lnot$ \> \verb+\lnot+ \>
$\neg$ \> \verb+\neg+ \> $\Longleftarrow$ \> \verb+\Longleftarrow+ \\
$\longleftrightarrow$ \> \verb+\longleftrightarrow+ \> $\Longleftrightarrow$ \> \verb+\Longleftrightarrow+ \>
$\longmapsto$ \> \verb+\longmapsto+ \> $\Longrightarrow$ \> \verb+\Longrightarrow+ \\
$\lor$ \> \verb+\lor+ \> $\vee$ \> \verb+\vee+ \>
$\mapstochar$ \> \verb+\mapstochar+ \> $\mapsto$ \> \verb+\mapsto+ \\
$\mathdollar$ \> \verb+\mathdollar+ \> $\mathellipsis$ \> \verb+\mathellipsis+ \>
$\mathparagraph$ \> \verb+\mathparagraph+ \> $\mathsection$ \> \verb+\mathsection+ \\
$\mathsterling$ \> \verb+\mathsterling+ \> $\mathunderscore$ \> \verb+\mathunderscore+ \>
$\mid$ \> \verb+\mid+ \> $\models$ \> \verb+\models+ \\
$\mp$ \> \verb+\mp+ \> $\nabla$ \> \verb+\nabla+ \>
$\natural$ \> \verb+\natural+ \> $\nearrow$ \> \verb+\nearrow+ \\
$\neg$ \> \verb+\neg+ \> $\neq$ \> \verb+\neq+ \>
$\ni$ \> \verb+\ni+ \> $\notin$ \> \verb+\notin+ \\
$\not$ \> \verb+\not+ \> $\nwarrow$ \> \verb+\nwarrow+ \>
$\odot$ \> \verb+\odot+ \> $\ointop$ \> \verb+\ointop+ \\
$\oint$ \> \verb+\oint+ \> $\ominus$ \> \verb+\ominus+ \>
$\oplus$ \> \verb+\oplus+ \> $\oslash$ \> \verb+\oslash+ \\
$\otimes$ \> \verb+\otimes+ \> $\owns$ \> \verb+\owns+ \>
$\ni$ \> \verb+\ni+ \> $\parallel$ \> \verb+\parallel+ \\
$\partial$ \> \verb+\partial+ \> $\perp$ \> \verb+\perp+ \>
$\pm$ \> \verb+\pm+ \> $\preceq$ \> \verb+\preceq+ \\
$\prec$ \> \verb+\prec+ \> $\prime$ \> \verb+\prime+ \>
$\prod$ \> \verb+\prod+ \> $\propto$ \> \verb+\propto+ \\
$\Relbar$ \> \verb+\Relbar+ \> $\relbar$ \> \verb+\relbar+ \>
$\Re$ \> \verb+\Re+ \> $\rhook$ \> \verb+\rhook+ \\
$\rightarrow$ \> \verb+\rightarrow+ \> $\Rightarrow$ \> \verb+\Rightarrow+ \>
$\rightharpoondown$ \> \verb+\rightharpoondown+ \> $\rightharpoonup$ \> \verb+\rightharpoonup+ \\
$\rightleftharpoons$ \> \verb+\rightleftharpoons+ \> $\searrow$ \> \verb+\searrow+ \>
$\setminus$ \> \verb+\setminus+ \> $\sharp$ \> \verb+\sharp+ \\
$\simeq$ \> \verb+\simeq+ \> $\sim$ \> \verb+\sim+ \>
$\smallint$ \> \verb+\smallint+ \> $\smile$ \> \verb+\smile+ \\
$\spadesuit$ \> \verb+\spadesuit+ \> $\sqcap$ \> \verb+\sqcap+ \>
$\sqcup$ \> \verb+\sqcup+ \> $\sqsubseteq$ \> \verb+\sqsubseteq+ \\
$\sqsupseteq$ \> \verb+\sqsupseteq+ \> $\star$ \> \verb+\star+ \>
$\subseteq$ \> \verb+\subseteq+ \> $\subset$ \> \verb+\subset+ \\
$\succeq$ \> \verb+\succeq+ \> $\succ$ \> \verb+\succ+ \>
$\sum$ \> \verb+\sum+ \> $\supseteq$ \> \verb+\supseteq+ \\
$\supset$ \> \verb+\supset+ \> $\surd$ \> \verb+\surd+ \>
$\swarrow$ \> \verb+\swarrow+ \> $\times$ \> \verb+\times+ \\
$\to$ \> \verb+\to+ \> $\rightarrow$ \> \verb+\rightarrow+ \>
$\top$ \> \verb+\top+ \> $\triangleleft$ \> \verb+\triangleleft+ \\
$\triangleright$ \> \verb+\triangleright+ \> $\triangle$ \> \verb+\triangle+ \>
$\uplus$ \> \verb+\uplus+ \> $\vdash$ \> \verb+\vdash+ \\
$\vdots$ \> \verb+\vdots+ \> $\vee$ \> \verb+\vee+ \>
$\wedge$ \> \verb+\wedge+ \> $\wp$ \> \verb+\wp+ \\
$\wr$ \> \verb+\wr+ \> $\|$ \> \verb+\|+ \>
$\Vert$ \> \verb+\Vert+ \> $\leftarrow$ \> \verb+\leftarrow+\\
$\div$ \> \verb+\div+ \> $\ell$ \> \verb+\ell+ \>
$\asymp$ \> \verb+\asymp+ \> $\bigcap$ \verb+\bigcap+\\
$\bigcup$ \> \verb+\bigcup+ \> $\bigcirc$ \> \verb+\bigcirc+ \\

\end{tabbing}
\medskip

\centerline{\bf AMS symbols}
\medskip

\begin{tabbing}
long\= veryveryveryveryveryvery\= 
long\= veryveryveryveryveryvery\=
long\= veryveryveryveryveryvery\=
long\= veryveryveryveryveryvery
\kill \\
$\yen$\>\verb+\yen+\>$\checkmark$\>\verb+\checkmark+\>
$\circledR$\>\verb+\circledR+\>
$\maltese$\>\verb+\maltese+\\
$\ulcorner$\>\verb+\ulcorner+\>$\urcorner$\>\verb+\urcorner+\>
$\llcorner$\>\verb+\llcorner+\>
$\lrcorner$\>\verb+\lrcorner+\\
$\dashrightarrow$\>\verb+\dashrightarrow+\>$\dashleftarrow$\>\verb+\dashleftarrow+\>
$\dasharrow$\>\verb+\dasharrow+\>
$\dashrightarrow$\>\verb+\dashrightarrow+\\
$\rightleftharpoons$\>\verb+\rightleftharpoons+\>$\angle$\>\verb+\angle+\>
$\hbar$\>\verb+\hbar+\>
$\sqsubset$\>\verb+\sqsubset+\\
$\sqsupset$\>\verb+\sqsupset+\>$\mho$\>\verb+\mho+\>
$\square$\>\verb+\square+\>
$\lozenge$\>\verb+\lozenge+\\
$\vartriangleright$\>\verb+\vartriangleright+\>$\vartriangleleft$\>\verb+\vartriangleleft+\>
$\trianglerighteq$\>\verb+\trianglerighteq+\>
$\trianglelefteq$\>\verb+\trianglelefteq+\\
$\rightsquigarrow$\>\verb+\rightsquigarrow+\>$\lhd$\>\verb+\lhd+\>
$\vartriangleleft$\>\verb+\vartriangleleft+\>
$\unlhd$\>\verb+\unlhd+\\
$\trianglelefteq$\>\verb+\trianglelefteq+\>$\rhd$\>\verb+\rhd+\>
$\vartriangleright$\>\verb+\vartriangleright+\>
$\unrhd$\>\verb+\unrhd+\\
$\trianglerighteq$\>\verb+\trianglerighteq+\>$\Box$\>\verb+\Box+\>
$\square$\>\verb+\square+\>
$\Diamond$\>\verb+\Diamond+\\
$\lozenge$\>\verb+\lozenge+\>$\leadsto$\>\verb+\leadsto+\>
$\rightsquigarrow$\>\verb+\rightsquigarrow+
\>
$\rightsquigarrow$ \>\verb+\rightsquigarrow+\\
$\lozenge$ \>\verb+\lozenge+\>$\vartriangleright$ \>\verb+\vartriangleright+\>
$\vartriangleleft$ \>\verb+\vartriangleleft+\>
$\trianglerighteq$ \>\verb+\trianglerighteq+\\
$\trianglelefteq$ \>\verb+\trianglelefteq+\>$\boxdot$ \>\verb+\boxdot+\>
$\boxplus$ \>\verb+\boxplus+\>
$\boxtimes$ \>\verb+\boxtimes+\\
$\square$ \>\verb+\square+\>$\blacksquare$ \>\verb+\blacksquare+\>
$\centerdot$ \>\verb+\centerdot+\>
$\lozenge$ \>\verb+\lozenge+\\
$\blacklozenge$ \>\verb+\blacklozenge+\>$\circlearrowright$ \>\verb+\circlearrowright+\>
$\circlearrowleft$ \>\verb+\circlearrowleft+\>
$\leftrightharpoons$ \>\verb+\leftrightharpoons+\\
$\boxminus$ \>\verb+\boxminus+\>$\Vdash$ \>\verb+\Vdash+\>
$\Vvdash$ \>\verb+\Vvdash+\>
$\vDash$ \>\verb+\vDash+\\
$\twoheadrightarrow$ \>\verb+\twoheadrightarrow+\>$\twoheadleftarrow$ \>\verb+\twoheadleftarrow+\>
$\leftleftarrows$ \>\verb+\leftleftarrows+\>
$\rightrightarrows$ \>\verb+\rightrightarrows+\\
$\upuparrows$ \>\verb+\upuparrows+\>$\downdownarrows$ \>\verb+\downdownarrows+\>
$\upharpoonright$ \>\verb+\upharpoonright+\>
$\restriction$ \>\verb+\restriction+\\
$\upharpoonright$ \>\verb+\upharpoonright+\>$\downharpoonright$ \>\verb+\downharpoonright+\>
$\upharpoonleft$ \>\verb+\upharpoonleft+\>
$\downharpoonleft$ \>\verb+\downharpoonleft+\\
$\rightarrowtail$ \>\verb+\rightarrowtail+\>$\leftarrowtail$ \>\verb+\leftarrowtail+\>
$\leftrightarrows$ \>\verb+\leftrightarrows+\>
$\rightleftarrows$ \>\verb+\rightleftarrows+\\
$\Lsh$ \>\verb+\Lsh+\>$\Rsh$ \>\verb+\Rsh+\>
$\rightsquigarrow$ \>\verb+\rightsquigarrow+\>
$\leftrightsquigarrow$ \>\verb+\leftrightsquigarrow+\\
$\looparrowleft$ \>\verb+\looparrowleft+\>$\looparrowright$ \>\verb+\looparrowright+\>
$\circeq$ \>\verb+\circeq+\>
$\succsim$ \>\verb+\succsim+\\
$\gtrsim$ \>\verb+\gtrsim+\>$\gtrapprox$ \>\verb+\gtrapprox+\>
$\multimap$ \>\verb+\multimap+\>
$\therefore$ \>\verb+\therefore+\\
$\because$ \>\verb+\because+\>$\doteqdot$ \>\verb+\doteqdot+\>
$\Doteq$ \>\verb+\Doteq+\>
$\doteqdot$ \>\verb+\doteqdot+\\
$\triangleq$ \>\verb+\triangleq+\>$\precsim$ \>\verb+\precsim+\>
$\lesssim$ \>\verb+\lesssim+\>
$\lessapprox$ \>\verb+\lessapprox+\\
$\eqslantless$ \>\verb+\eqslantless+\>$\eqslantgtr$ \>\verb+\eqslantgtr+\>
$\curlyeqprec$ \>\verb+\curlyeqprec+\>
$\curlyeqsucc$ \>\verb+\curlyeqsucc+\\
$\preccurlyeq$ \>\verb+\preccurlyeq+\>$\leqq$ \>\verb+\leqq+\>
$\leqslant$ \>\verb+\leqslant+\>
$\lessgtr$ \>\verb+\lessgtr+\\
$\backprime$ \>\verb+\backprime+\>$\risingdotseq$ \>\verb+\risingdotseq+\>
$\fallingdotseq$ \>\verb+\fallingdotseq+\>
$\succcurlyeq$ \>\verb+\succcurlyeq+\\
$\geqq$ \>\verb+\geqq+\>$\geqslant$ \>\verb+\geqslant+\>
$\gtrless$ \>\verb+\gtrless+\>
$\vartriangleright$ \>\verb+\vartriangleright+\\
$\vartriangleleft$ \>\verb+\vartriangleleft+\>$\trianglerighteq$ \>\verb+\trianglerighteq+\>
$\trianglelefteq$ \>\verb+\trianglelefteq+\>
$\bigstar$ \>\verb+\bigstar+\\
$\between$ \>\verb+\between+\>$\blacktriangledown$ \>\verb+\blacktriangledown+\>
$\blacktriangleright$ \>\verb+\blacktriangleright+\>
$\blacktriangleleft$ \>\verb+\blacktriangleleft+\\
$\vartriangle$ \>\verb+\vartriangle+\>$\blacktriangle$ \>\verb+\blacktriangle+\>
$\triangledown$ \>\verb+\triangledown+\>
$\eqcirc$ \>\verb+\eqcirc+\\
$\lesseqgtr$ \>\verb+\lesseqgtr+\>$\gtreqless$ \>\verb+\gtreqless+\>
$\lesseqqgtr$ \>\verb+\lesseqqgtr+\>
$\gtreqqless$ \>\verb+\gtreqqless+\\
$\Rrightarrow$ \>\verb+\Rrightarrow+\>$\Lleftarrow$ \>\verb+\Lleftarrow+\>
$\veebar$ \>\verb+\veebar+\>
$\barwedge$ \>\verb+\barwedge+\\
$\doublebarwedge$ \>\verb+\doublebarwedge+\>$\measuredangle$ \>\verb+\measuredangle+\>
$\sphericalangle$ \>\verb+\sphericalangle+\>
$\varpropto$ \>\verb+\varpropto+\\
$\smallsmile$ \>\verb+\smallsmile+\>$\smallfrown$ \>\verb+\smallfrown+\>
$\Subset$ \>\verb+\Subset+\>
$\Supset$ \>\verb+\Supset+\\
$\Cup$ \>\verb+\Cup+\>$\doublecup$ \>\verb+\doublecup+\>
$\Cap$ \>\verb+\Cap+\>
$\doublecap$ \>\verb+\doublecap+\\
$\Cap$ \>\verb+\Cap+\>$\curlywedge$ \>\verb+\curlywedge+\>
$\curlyvee$ \>\verb+\curlyvee+\>
$\leftthreetimes$ \>\verb+\leftthreetimes+\\
$\rightthreetimes$ \>\verb+\rightthreetimes+\>$\subseteqq$ \>\verb+\subseteqq+\>
$\supseteqq$ \>\verb+\supseteqq+\>
$\bumpeq$ \>\verb+\bumpeq+\\
$\Bumpeq$ \>\verb+\Bumpeq+\>$\lll$ \>\verb+\lll+\>
$\llless$ \>\verb+\llless+\>
$\ggg$ \>\verb+\ggg+\\
$\gggtr$ \>\verb+\gggtr+\>$\circledS$ \>\verb+\circledS+\>
$\pitchfork$ \>\verb+\pitchfork+\>
$\dotplus$ \>\verb+\dotplus+\\
$\backsim$ \>\verb+\backsim+\>$\backsimeq$ \>\verb+\backsimeq+\>
$\complement$ \>\verb+\complement+\>
$\intercal$ \>\verb+\intercal+\\
$\circledcirc$ \>\verb+\circledcirc+\>$\circledast$ \>\verb+\circledast+\>
$\circleddash$ \>\verb+\circleddash+\>
$\lvertneqq$ \>\verb+\lvertneqq+\\
$\gvertneqq$ \>\verb+\gvertneqq+\>$\nleq$ \>\verb+\nleq+\>
$\ngeq$ \>\verb+\ngeq+\>
$\nless$ \>\verb+\nless+\\
$\ngtr$ \>\verb+\ngtr+\>$\nprec$ \>\verb+\nprec+\>
$\nsucc$ \>\verb+\nsucc+\>
$\lneqq$ \>\verb+\lneqq+\\
$\gneqq$ \>\verb+\gneqq+\>$\nleqslant$ \>\verb+\nleqslant+\>
$\ngeqslant$ \>\verb+\ngeqslant+\>
$\lneq$ \>\verb+\lneq+\\
$\gneq$ \>\verb+\gneq+\>$\npreceq$ \>\verb+\npreceq+\>
$\nsucceq$ \>\verb+\nsucceq+\>
$\precnsim$ \>\verb+\precnsim+\\
$\succnsim$ \>\verb+\succnsim+\>$\lnsim$ \>\verb+\lnsim+\>
$\gnsim$ \>\verb+\gnsim+\>
$\nleqq$ \>\verb+\nleqq+\\
$\ngeqq$ \>\verb+\ngeqq+\>$\precneqq$ \>\verb+\precneqq+\>
$\succneqq$ \>\verb+\succneqq+\>
$\precnapprox$ \>\verb+\precnapprox+\\
$\succnapprox$ \>\verb+\succnapprox+\>$\lnapprox$ \>\verb+\lnapprox+\>
$\gnapprox$ \>\verb+\gnapprox+\>
$\nsim$ \>\verb+\nsim+\\
$\ncong$ \>\verb+\ncong+\>$\diagup$ \>\verb+\diagup+\>
$\diagdown$ \>\verb+\diagdown+\>
$\varsubsetneq$ \>\verb+\varsubsetneq+\\
$\varsupsetneq$ \>\verb+\varsupsetneq+\>$\nsubseteqq$ \>\verb+\nsubseteqq+\>
$\nsupseteqq$ \>\verb+\nsupseteqq+\>
$\subsetneqq$ \>\verb+\subsetneqq+\\
$\supsetneqq$ \>\verb+\supsetneqq+\>$\varsubsetneqq$ \>\verb+\varsubsetneqq+\>
$\varsupsetneqq$ \>\verb+\varsupsetneqq+\>
$\subsetneq$ \>\verb+\subsetneq+\\
$\supsetneq$ \>\verb+\supsetneq+\>$\nsubseteq$ \>\verb+\nsubseteq+\>
$\nsupseteq$ \>\verb+\nsupseteq+\>
$\nparallel$ \>\verb+\nparallel+\\
$\nmid$ \>\verb+\nmid+\>$\nshortmid$ \>\verb+\nshortmid+\>
$\nshortparallel$ \>\verb+\nshortparallel+\>
$\nvdash$ \>\verb+\nvdash+\\
$\nVdash$ \>\verb+\nVdash+\>$\nvDash$ \>\verb+\nvDash+\>
$\nVDash$ \>\verb+\nVDash+\>
$\ntrianglerighteq$ \>\verb+\ntrianglerighteq+\\
$\ntrianglelefteq$ \>\verb+\ntrianglelefteq+\>$\ntriangleleft$ \>\verb+\ntriangleleft+\>
$\ntriangleright$ \>\verb+\ntriangleright+\>
$\nleftarrow$ \>\verb+\nleftarrow+\\
$\nrightarrow$ \>\verb+\nrightarrow+\>$\nLeftarrow$ \>\verb+\nLeftarrow+\>
$\nRightarrow$ \>\verb+\nRightarrow+\>
$\nLeftrightarrow$ \>\verb+\nLeftrightarrow+\\
$\nleftrightarrow$ \>\verb+\nleftrightarrow+\>$\divideontimes$ \>\verb+\divideontimes+\>
$\varnothing$ \>\verb+\varnothing+\>
$\nexists$ \>\verb+\nexists+\\
$\Finv$ \>\verb+\Finv+\>$\Game$ \>\verb+\Game+\>
$\eth$ \>\verb+\eth+\>
$\eqsim$ \>\verb+\eqsim+\\
$\beth$ \>\verb+\beth+\>$\gimel$ \>\verb+\gimel+\>
$\daleth$ \>\verb+\daleth+\>
$\lessdot$ \>\verb+\lessdot+\\
$\gtrdot$ \>\verb+\gtrdot+\>$\ltimes$ \>\verb+\ltimes+\>
$\rtimes$ \>\verb+\rtimes+\>
$\shortmid$ \>\verb+\shortmid+\\
$\shortparallel$ \>\verb+\shortparallel+\>$\smallsetminus$ \>\verb+\smallsetminus+\>
$\thicksim$ \>\verb+\thicksim+\>
$\thickapprox$ \>\verb+\thickapprox+\\
$\approxeq$ \>\verb+\approxeq+\>$\succapprox$ \>\verb+\succapprox+\>
$\precapprox$ \>\verb+\precapprox+\>
$\curvearrowleft$ \>\verb+\curvearrowleft+\\
$\curvearrowright$ \>\verb+\curvearrowright+\>$\digamma$ \>\verb+\digamma+\>
$\varkappa$ \>\verb+\varkappa+\>
$\Bbbk$ \>\verb+\Bbbk+\\
$\hslash$ \>\verb+\hslash+\>$\backepsilon$ \>\verb+\backepsilon+\>
$\mho$ \> \verb+\mho+ \>
$\Join$ \> \verb+\Join+ \\
$\Box$ \> \verb+\Box+ \>$\Diamond$ \> \verb+\Diamond+ \>
$\leadsto$ \> \verb+\leadsto+ \>
$\sqsubset$ \> \verb+\sqsubset+ \\
$\sqsupset$ \> \verb+\sqsupset+ \>$\lhd$ \> \verb+\lhd+ \>
$\unlhd$ \> \verb+\unlhd+ \>$\rhd$ \> \verb+\rhd+ \\
$\unrhd$ \> \verb+\unrhd+ 
\end{tabbing}
\medskip

\centerline{\texttt{asl.sty} \textbf{symbols}}
\medskip

\begin{tabbing}
long\= veryveryveryveryveryvery\= 
long\= veryveryveryveryveryvery\=
long\= veryveryveryveryveryvery\=
long\= veryveryveryveryveryvery
\kill \\
$\dotminus$ \> \verb+\dotminus+\\
$\game$     \>  \verb+\game+ \> (requires \texttt{rotate.sty})
\end{tabbing}

\end{document}