TeX source:
f(x)=\sqrt{7-x}