ISQ
HomeMathPart 2 §8
𝝨

Part 2 §8: Classical Logic

Classical logic notation

19 entries· Edition 2019FR→ About Part 2
2-8equality
19
2-8.1
equality a = b
is equal to + equals
2-8.2
inequality a ≠ b
is not equal to
2-8.3
equal to a ≔ b
is by definition equal to
2-8.4
corresponds to a ≙ b
corresponds to
2-8.5
approximately equal to a ≈ b
is approximately equal to
2-8.6
asymptotically equal to a ≃ b
is asymptotically equal to
2-8.7
proportional to a ~ b
is proportional to
2-8.8
congruent to M ≅ N
is congruent to , + is isomorphic to
2-8.9
less than a < b
is less than
2-8.10
greater than b > a
is greater than
2-8.11
less than or equal to a ≤ b
is less than or equal to
2-8.12
greater than or equal to b ≥ a
is greater than or equal to
2-8.13
much less than a ≪ b
is much less than
2-8.14
much greater than b ≫ a
is much greater than
2-8.15
infinity ∞
infinity
2-8.16
tends to x → a
tends to
2-8.17
divides, for integers m ∣ n
divides
2-8.18
congruent to, modulo n ≡ k mod m
is congruent to modulo
2-8.19
parentheses, square brackets, braces, angle brackets ( a + b ) , [ a + b \ ] , { a + b } , 〈 a + b 〉
parentheses + square brackets + braces + angle brackets
19 of 19 entries