+
Addition sign
Logical OR symbol
... plus ...
... or ...
3 + 5 = 8
¬(A + B) = ¬A * ¬B
![]()
x + y
z
![]()
For all ...
For every ...
x
: x < 0 or x > -1
|
|
= {a/b
| a and b are in
}
|
|
logical implication
symbol
... implies ...
If ... then ...
|
A |
![]()
... therefore ...
... it follows that ...
Logical statements or
mathematical proofs
x = y and y
= z
x
= z
|
| | |
|
absolute value sign |
|
The absolute value of
... |
|
Distance of value from |
|
| -3 | = 3 |
|
> |
|
Inequality sign |
|
... is greater than ...
|
|
Indicates value on left |
|
5 > 3 |
|
< |
|
Inequality sign |
|
... is less than ... |
3 < 5
x < y