Add a way to undo the "calculation" proof indentation

[tirix]

As suggested by David in his google group post:

If you have an "M" to emphasize indenting, there should be a way to undo it.