TeX source:
x\dot{y}+y+4=0