When proving a theorem by way of contradiction, it is important to note that in the beginning of the proof. This is usually abbreviated BWOC. When the contradiction appears in the proof, there is usually a ⨳ symbol involved.