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: &nbsp; <math><mi>x</mi><mo> = </mo><mn>3</mn></math></b><span style='font-size:smaller'> &nbsp; &nbsp; (computation took 3 steps and 1 ms)</span>