\def(a 2 $0$1)\a(1 2)