\def\EQEDhi#1#2{{#2}^{#1}}
\def\EQEDlo#1#2{{#2}_{#1}}
\def\EQEDboth#1#2#3{{#3}_{#1}^{#2}}
\def\EQEDint#1#2#3{\int\limits_{#1}^{#2}{#3}}
\def\EQEDsum#1#2#3{\sum\limits_{#1}^{#2}{#3}}
\def\EQEDprod#1#2#3{\prod\limits_{#1}^{#2}{#3}}
\def\EQEDbrackets#1#2#3{#1 {#2} #3}
\def\EQEDroot#1#2{\sqrt[{#1}]{#2}}
\def\EQEDchoose#1#2{{#1 \choose #2}}
\def\EQEDlim#1#2#3{#1_{#2}{#3}}
\def\EQEDplain#1{#1}
\def\EQEDnplain#1{#1}
\def\o{o}
\def\X{X}
\def\P{P}
\def\notsubset{\not\subset}
\def\notin{\not\in}
