-\providecommand*{\intersectmany}[3]{ \binopmany{\cap}{#1}{#2}{#3} }
-\providecommand*{\cartprodmany}[3]{ \binopmany{\times}{#1}{#2}{#3} }
-\providecommand*{\directsummany}[3]{ \binopmany{\oplus}{#1}{#2}{#3} }
-\providecommand*{\unionmany}[3]{ \binopmany{\cup}{#1}{#2}{#3} }
+\providecommand*{\intersectmany}[3]{ \binopmany{\bigcap}{#1}{#2}{#3} }
+\providecommand*{\cartprodmany}[3]{ \binopmany{\bigtimes}{#1}{#2}{#3} }
+\providecommand*{\directsummany}[3]{ \binopmany{\bigoplus}{#1}{#2}{#3} }
+\providecommand*{\unionmany}[3]{ \binopmany{\bigcup}{#1}{#2}{#3} }