<<< native [ EDelimited "(" ")" [ Right (EIdentifier "x") ] ] >>> tex (x)