Source TeX:
3!=6