Better format for math equation

[Enter-tainer]

What will it looks like?

[llakala]

I'd appreciate if operators had spaces around them, so

$
  x=y+1*3
$

Would become:

$
  x = y + 1 * 3
$

However, I'd make an exception for /, because I think this:

$
  x = 1 + 2 / 3
$

Is less clear than this:

$
  x = 1 + 2/3
$

[QuadnucYard]

I'd appreciate if operators had spaces around them, so

$
  x=y+1*3
$

Would become:

$
  x = y + 1 * 3
$

That is impractical. We cannot identify whether the symbol + is really a binary operator, and spaces matter here.

If the user reparses the equation and uses symbols like = for a different semantics (maybe combined with others), the formatting result will be bad.