\usemodule[math-extra] \def\X#1{$#1$ \space {\rm{\string#1}}} \def\Y#1{$#1$ \space \rm{\string#1}} \usetypescript[wim] \enablemathcollection[wim] \usemathcollection[wim] \usemathcollection[ams] %\usetypescript[wim] %\switchtobodyfont[wim] \starttext \startformula \oiint , \oiiint, \ointctrclockwise, \ointclockwise, \varointctrclockwise \stopformula \stoptext \placetable{Binary Operators} \starttable[|l|l|l|l|] \NC \X\amalg \NC \X\cup \NC \X\oplus \NC \X\times \NC\NR \NC \X\ast \NC \X\dagger \NC \X\oslash \NC \X\triangleleft \NC\NR \NC \X\bigcirc \NC \X\ddagger \NC \X\otimes \NC \X\triangleright \NC\NR \NC \X\bigtriangledown \NC \X\diamond \NC \X\pm \NC \X\unlhd \NC\NR \NC \X\bigtriangleup \NC \X\div \NC \X\rhd \NC \X\unrhd \NC\NR \NC \X\bullet \NC \X\lhd \NC \X\setminus \NC \X\uplus \NC\NR \NC \X\cap \NC \X\mp \NC \X\sqcap \NC \X\vee \NC\NR \NC \X\cdot \NC \X\odot \NC \X\sqcup \NC \X\wedge \NC\NR \NC \X\circ \NC \X\ominus \NC \X\star \NC \X\wr \NC\NR \stoptable \blank \placetable{AMS Binary Operators} \starttable[|l|l|l|] \NC \X\barwedge \NC \X\circledcirc \NC \X\intercal \NC\NR \NC \X\boxdot \NC \X\circleddash \NC \X\leftthreetimes \NC\NR \NC \X\boxminus \NC \X\Cup \NC \X\ltimes \NC\NR \NC \X\boxplus \NC \X\curlyvee \NC \X\rightthreetimes \NC\NR \NC \X\boxtimes \NC \X\curlywedge \NC \X\rtimes \NC\NR \NC \X\Cap \NC \X\divideontimes \NC \X\smallsetminus \NC\NR \NC \X\centerdot \NC \X\dotplus \NC \X\veebar \NC\NR \NC \X\circledast \NC \X\doublebarwedge \NC \NC\NR \stoptable \blank \placetable{AMS Negated Binary Operators} \starttable[|l|l|l|] \NC \X\ncong \NC \X\nshortparallel \NC \X\nVDash \NC\NR \NC \X\nmid \NC \X\nsim \NC \X\precnapprox \NC\NR \NC \X\nparallel \NC \X\nsucc \NC \X\precnsim \NC\NR \NC \X\nprec \NC \X\nsucceq \NC \X\succnapprox \NC\NR \NC \X\npreceq \NC \X\nvDash \NC \X\succnsim \NC\NR \NC \X\nshortmid \NC \X\nvdash \NC \NC\NR \stoptable \showfont[stmary10] \showfont[wasy10] \placetable{Wasysym Binary Operators} \starttable[|l|l|l|l|] \NC \X\lhd \NC \X\ocircle \NC \X\RHD \NC \X\unrhd \NC\NR \NC \X\LHD \NC \X\rhd \NC \X\unlhd \NC \NC\NR \stoptable \placetable{{\tt stmaryrd} Binary Operators} \starttable[|l|l|l|] \NC \Y\baro \NC \Y\interleave \NC \Y\varoast \NC\NR \NC \Y\bbslash \NC \Y\leftslice \NC \Y\varobar \NC\NR \NC \Y\binampersand \NC \Y\merge \NC \Y\varobslash \NC\NR \NC\Y\bindnasrepma \NC \Y\minuso \NC \Y\varocircle \NC\NR \NC\Y\boxast \NC \Y\moo \NC \Y\varodot \NC\NR \NC\Y\boxbar \NC \Y\nplus \NC \Y\varogreaterthan \NC\NR \NC\Y\boxbox \NC \Y\obar \NC \Y\varolessthan \NC\NR \NC\Y\boxbslash \NC \Y\oblong \NC \Y\varominus \NC\NR \NC\Y\boxcircle \NC \Y\obslash \NC \Y\varoplus \NC\NR \NC\Y\boxdot \NC \Y\ogreaterthan \NC \Y\varoslash \NC\NR \NC\Y\boxempty \NC \Y\olessthan \NC \Y\varotimes \NC\NR \NC\Y\boxslash \NC \Y\ovee \NC \Y\varovee \NC\NR \NC\Y\curlyveedownarrow \NC \Y\owedge \NC \Y\varowedge \NC\NR \NC\Y\curlyveeuparrow \NC \Y\rightslice \NC \Y\vartimes \NC\NR \NC\Y\curlywedgedownarrow \NC \Y\sslash \NC \Y\Ydown \NC\NR \NC\Y\curlywedgeuparrow \NC \Y\talloblong \NC \Y\Yleft \NC\NR \NC\Y\fatbslash \NC \Y\varbigcirc \NC \Y\Yright \NC\NR \NC\Y\fatsemi \NC \Y\varcurlyvee \NC \Y\Yup \NC\NR \NC\Y\fatslash \NC \Y\varcurlywedge \NC \NC\NR \stoptable \stoptext