\defineMMLsynonym ast                midast
\defineMMLsynonym Backslash          setmn
\defineMMLsynonym barwedge           barwed
\defineMMLsynonym bigcap             xcap
\defineMMLsynonym bigcirc            xcirc
\defineMMLsynonym bigcup             xcup
\defineMMLsynonym bigodot            xodot
\defineMMLsynonym bigoplus           xoplus
\defineMMLsynonym bigotimes          xotime
\defineMMLsynonym bigsqcup           xsqcup
\defineMMLsynonym bigtriangledown    xdtri
\defineMMLsynonym bigtriangleup      xutri
\defineMMLsynonym biguplus           xuplus
\defineMMLsynonym bigvee             xvee
\defineMMLsynonym bigwedge           xwedge
\defineMMLsynonym boxminus           minusb
\defineMMLsynonym boxplus            plusb
\defineMMLsynonym boxtimes           timesb
\defineMMLsynonym cdot               sdot
\defineMMLsynonym circledast         oast
\defineMMLsynonym circledcirc        ocir
\defineMMLsynonym circleddash        odash
\defineMMLsynonym CircleDot          odot
\defineMMLsynonym CircleMinus        ominus
\defineMMLsynonym CirclePlus         oplus
\defineMMLsynonym CircleTimes        otimes
\defineMMLsynonym Coproduct          coprod
\defineMMLsynonym curlyvee           cuvee
\defineMMLsynonym curlywedge         cuwed
\defineMMLsynonym ddagger            Dagger
\defineMMLsynonym diamond            diam
\defineMMLsynonym divideontimes      divonx
\defineMMLsynonym dotminus           minusd
\defineMMLsynonym dotplus            plusdo
\defineMMLsynonym dotsquare          sdotb
\defineMMLsynonym doublebarwedge     Barwed
\defineMMLsynonym intercal           intcal
\defineMMLsynonym Intersection       xcap
\defineMMLsynonym intprod            iprod
\defineMMLsynonym leftthreetimes     lthree
\defineMMLsynonym oslash             osol
\defineMMLsynonym rightthreetimes    rthree
\defineMMLsynonym setminus           setmn
\defineMMLsynonym smallsetminus      ssetmn
\defineMMLsynonym SquareIntersection sqcap
\defineMMLsynonym SquareUnion        sqcup
\defineMMLsynonym Star               sstarf
\defineMMLsynonym star               sstarf
\defineMMLsynonym Sum                sum
\defineMMLsynonym Union              xcup
\defineMMLsynonym UnionPlus          uplus
\defineMMLsynonym Vee                xvee
\defineMMLsynonym VerticalTilde      wreath
\defineMMLsynonym Wedge              xwedge
\defineMMLsynonym wr                 wreath