TeX source:

a′>a