4.5 AMS binary operators

$\dotplus$, $\Cup$, $\barwedge$, $\veebar$, $\boxminus$, $\boxtimes$,
$\boxplus$, $\divideontimes$, $\ltimes$, $\rtimes$, $\leftthreetimes$,
$\rightthreetimes$, $\curlywedge$, $\curlyvee$, $\circledast$,
$\circledcirc$, $\intercal$, $\Cap$

$\dotplus $, $\Cup $, $\barwedge $, $\veebar $, $\boxminus $, $\boxtimes $, $\boxplus $, $\divideontimes $, $\ltimes $, $\rtimes $, $\leftthreetimes $, $\rightthreetimes $, $\curlywedge $, $\curlyvee $, $\circledast $, $\circledcirc $, $\intercal $, $\Cap $