unicode: logic operators

[sheet.git] / unicode.inc.pl

diff --git a/unicode.inc.pl b/unicode.inc.pl
index 1492a4fe0c22ff1cc49f8d6500719d5b6da19f87..607581ecd9fe69dbd856cfd269b4f1c3db86ebf2 100644 (file)
--- a/unicode.inc.pl
+++ b/unicode.inc.pl
@@ -34,6 +34,13 @@ keys => {
        player   => [qw{. ► ⏩ ⏭ ◼ ⚫ . ◄ ⏪ ⏮ ⏏ -❚❚ }],
 },
 
+math => {
+       equal    => [qw{. ∼ ≈ ≅ ≡ ∃ . ≁ ≉ ≇ ≢ ∄ }],
+       size     => [qw{. ≪ < ≤ \= ≥ \> ≫ . - ≮ ≰ ≠ ≱ ≯ - }],
+       set      => [qw{. ∈ ⊂ ⊆ ∀ ⊇ ⊃ ∋ ∪ . ∉ ⊄ ⊈ ∅ ⊉ ⊅ ∌ ∩ }],
+       logic    => [qw{. ∧ ∨ ⊻ ⊥ ¬ . ⊼ ⊽ ↔ ⊤ - }],
+},
+
 arrows => {
        single   => [qw{. ↖ ↑ ↗ ↔ . ← - → ↕ . ↙ ↓ ↘ - }],
        double   => [qw{. ⇖ ⇑ ⇗ ⇔ . ⇐ - ⇒ ⇕ . ⇙ ⇓ ⇘ - }],