a tiny tool to beautify mathematical proof