Hello, Amarinth, nice to meet you, although I wish I hadn’t read your question! It hadnt’t occurred to me before, but I don’t know a name for it either, and it’s going to bug me now. Nor do I know a name for the same symbol reversed - I hope someone clever knows both, because I can see it would be a really difficult thing to look up anywhere.
My type/copy editing reference sources call it a “therefore” or “hence” sign. The reverse (triange of dots, pointing down) is simply the “because” sign.
To the best of my knowledge, “Therefore” is used in mathematical formulas and proofs, and the arrow-thing (“Yields”?) is used in chemical equations.
-SSB
Yeah, I’m using it a lot in number theory. It is:
A|B|=>
1|1|1
0|1|0
1|0|0
0|0|1
But the definition of what those two symbols “mean” seems the same
essentially, I’m wondering if I can start doing:
.
A . . B
In number theory and comp. sci. boolean arithmetic proofs, just to be cute, or if the three dots are only allowed to indicate a finaly conclusion (sorta like the annoying use of Q.E.D.).