TeX Quellcode:

\text{simplify}(\text{simplify}(ex)) \neq \text{simplify}(ex)