TeX source:

4=4x