\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
