TeX source:
U = 3a