<<< native [ EIdentifier "x" ] >>> tex x