TeX source:
A\rightarrow A/2