TeX source:
\text { greater x} = 7