Let's solve in <math><mi>ℝ</mi></math>: <math><mn>3</mn><mi>x</mi><mo> -</mo><mn>9</mn><mo> = </mo><mn>0</mn></math>
<math><mn>3</mn><mi>x</mi><mo> = </mo><mn>9</mn></math>
<math><mi>x</mi><mo> = </mo><mfrac><mrow><mn>9</mn></mrow><mrow><mn>3</mn></mrow></mfrac></math>
▷<b>Result: <math><mi>x</mi><mo> = </mo><mn>3</mn></math></b><span style='font-size:smaller'> (computation took 3 steps and 2 ms)</span>