Logic symbols

Symbol Symbol Name Meaning / definition Example
· and and x · y
^ caret / circumflex and x ^ y
& ampersand and x & y
+ plus or x + y
reversed caret or x ∨ y
| vertical line or x | y
x single quote not – negation x
x bar not – negation x
¬ not not – negation ¬ x
! exclamation mark not – negation x
circled plus / oplus exclusive or – xor x ⊕ y
~ tilde negation x
implies
equivalent if and only if (iff)
equivalent if and only if (iff)
for all
there exists
there does not exists
therefore
because / since

 

Leave a Reply