I always love it when we can end a mathematical proof with "W⁵". It's like our own little end-of-proof symbol, because almost no one else seems to use it (though I am sure we didn't invent it).
It comes from abbreviating the phrase "which was what we wanted", used to end proofs where you're trying to reach a specific goal (usually, some formula you're trying to prove works).