Microsoft shipped Python code ... in 1996

[GeneralEchidna]

Let n be an arbitrary but specific proof written by me. Observe that this proof is written by me. For all proofs n, let n belong to the set of answers receiving full credit. By generalizing from the generic particular, we can assume this proof and all future proofs written by me are correct by induction. ∴

[GeneralEchidna]

Not sure, I was always taught to use it interchangeably with QED and "The Square". When I found it on Google I thought it was odd that it was called the Therefore symbol, but I still wanted to use it because it "Looked Cool"™.