TeX source:
y'=ky