TeX source:

x=5 \sqrt{2}