\def(a 0 (1x ({-}) x))\def(b 3 ($2 $1 $0))\b(\unee(\a))\a