I believe it was Gauss who introduced "BOOM!" as a more exciting alternative QED to mark the end of a proof. @gaussfacts