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