<<< native [ EIdentifier "\945" , EIdentifier "" , EIdentifier "\945" ] >>> tex \alpha\alpha