`a` &rarr; `alpha`.