TeX source:
x%5Cdiv~y