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.).