TeX source:
4−y=0