\(def a1 0 {a})\(def a2 1 $0)\(\(a1)2 {alph})
