TeX source:
42÷7⋅3