TeX source:

12/4 = 3