TeX source:
(23)+2 = 25