TeX source:
14รท2=7