A logical symbol indicating that a conclusion follows from previous statements in mathematical proofs and logic.
Examples
Basic logical conclusion
A = B \text{ and } B = C, \therefore A = C
Geometric proof conclusion
\angle A = \angle B \text{ and } \angle B = 90°, \therefore \angle A = 90°
Set theory deduction
x \in A \text{ and } A \subset B, \therefore x \in B