Input: def(ln(x))
Write: `def(ln(x))`
Output: $$ definition:\\ \ ln(x) == \int _{1}^{x} \frac{1}{x}\ dx $$ Result:$$\int _{1}^{x} \frac{1}{x}\ dx$$