TeX source:

9= x