Comment by in_a_hole

To be fair, the ÷ symbol for division must be abolished.