TeX source:

aV