% The Cartesian product of three things.
\providecommand*{\cartprodthree}[3]{ \cartprod{{#1}}{\cartprod{{#2}}{{#3}}} }
+% The direct sum of two things.
+\providecommand*{\directsum}[2]{ {#1}\oplus{#2} }
+
% The factorial operator.
\providecommand*{\factorial}[1]{ {#1}! }