TeX source:
4x < 2x