unicode: mathematic (set) comparison operators

diff --git a/Shiar_Sheet/FormatChar.pm b/Shiar_Sheet/FormatChar.pm
index 78f2a1934b1bcf8017d61164a776934a6091c495..759ca85f57c1fea8bafffdde0cd4c5c2cf58b2b0 100644 (file)
--- a/Shiar_Sheet/FormatChar.pm
+++ b/Shiar_Sheet/FormatChar.pm
@@ -81,6 +81,7 @@ sub cell {
                        push @class, 'ex'; # discouraged
                }
 
+               $input =~ s/^\\//;  # escaped char
                ($cell, $title, my $class, $mnem) = $self->glyphs_html($input);
 
                if ($self->{style} = 'di') {

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

diff --git a/unicode.plp b/unicode.plp
index 2e9678b811b6b06e653ad91c1c8a674c17dc23ba..3e0c94856e1c0e476cb051f91b452726ea953e7f 100644 (file)
--- a/unicode.plp
+++ b/unicode.plp
@@ -79,6 +79,9 @@ $glyphs->print(map {
                        ?uncommon
                punctuation/version
                punctuation/marks
+               math/size
+                       equal
+                       set
        Symbols
                symbols/currency
                        cards