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