TeX source:
y'(x)\equiv 0=g(\alpha)\equiv g(y(x))