3
$\begingroup$

Question: I recently read the symbol $\therefore$ in a couple of posts. Unfortunately i can't find the posts anymore. Does this have any special mathematical meaning?

$\endgroup$
  • $\begingroup$ I put the symbol he meant in LaTeX, I'm not so sure this is appropriate. Please offer comments. $\endgroup$ – user223391 Dec 26 '15 at 3:09
  • $\begingroup$ Im fine with that, maybe this makes searching this question hard, but probably there are few people having this question anyway... $\endgroup$ – math635 Dec 26 '15 at 3:15
  • $\begingroup$ @avid19 I thought about doing that too, but I think that this undermines the purpose of reference for people with this question. Since even in detexify.org this symbol, when drawn, sometimes appears quite down on the "show more" option, maybe this question may serve as useful reference indeed. $\endgroup$ – Aloizio Macedo Dec 26 '15 at 5:19
6
$\begingroup$

I think you are referring to $\therefore$

As the latex command implies (it is \therefore), it means "therefore".

$\endgroup$
  • 1
    $\begingroup$ yes that is what i meant. I didn't remembered it correctly! Do you know why one uses this shorthand for "therefore"? $\endgroup$ – math635 Dec 26 '15 at 2:51
  • $\begingroup$ @math635 No, I don't know the historical reason for this. It is worth saying that the inverted triangle $\because$ is usually a shorthand for "because". The wikipedia entry says that the notation is due to Johann Rahn, but does not explain a specific reason for the adopted notation. I would guess there is no great reason, only a symbolic shorthand necessity. $\endgroup$ – Aloizio Macedo Dec 26 '15 at 2:58
  • 1
    $\begingroup$ archive.org/details/historyofmathema031756mbp should be of help. IIRC \therefore: $\therefore$, and \because: $\because$ were used in a confusing, often interchanged manner for ages until a couple of British translations of Euclid settled the matter. $\endgroup$ – stochasticboy321 Dec 26 '15 at 3:00
5
$\begingroup$

The notation $\therefore$ (written as \therefore) is shorthand for the word therefore. Since the symbol connects cause and effect, the symbol is pretty common and thus has a common abbreviation. This link has a list of more logic symbols, such as $\forall$ (for all). Also, the upside-down version of the symbol is used to mean "because"

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.