TeX source:
y' = u + xu'.