TeX source:
(U(15), ∙ )