Maths for ML / Notation

∴\therefore

therefore

LogicBeginner

Say it “therefore”

Marks a conclusion from the previous lines.

Example

a=b, b=c ∴ a=ca=b,\ b=c\ \therefore\ a=c

Where you’ll see it in ML

Lecture notes and derivations.

← All 94 symbols