TeX source:
= 0 \times 3/7