TeX source:
x + 2 = 5