Source TeX:
54 \div 6 = 9