TeX source:
U(30)