TeX source:
|U(30)|=8