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