\def\eqdef{\stackrel{\mathrm{def}}{=}}

\def\instrop{\mathit{instr}}
\def\instr#1#2{\instrop(#1)(#2)}

\def\incpcop{\mathit{incpc}}
\def\incpc#1{\incpcop(#1)}

\def\update#1#2{#1[#2]}

\def\ALUOp{\mathit{ALUOp}}
\def\Word#1{\mathit{Word}_#1}

\def\Prog{\mathit{Prog}}
\def\prog{\mathit{prog}}

\def\State{\mathit{State}}
\def\st{\mathit{st}}

\def\Mem{\mathit{Mem}}
\def\mem{\mathit{mem}}

\def\pc{\mathit{pc}}
\def\acc#1{\mathit{acc}_#1}

\def\nandop{\mathit{nand}}
\def\nand#1#2{\nandop\left(#1,#2\right)}
\def\xnorop{\mathit{xnor}}
\def\xnor#1#2{\xnorop\left(#1,#2\right)}