TeX source:
y(x)\equiv 0