From 082d363b562650988d2d57c73497801a4f8794ed Mon Sep 17 00:00:00 2001 From: Mischa POSLAWSKY Date: Sat, 25 Dec 2010 02:23:30 +0100 Subject: [PATCH] unicode: mathematic (set) comparison operators --- Shiar_Sheet/FormatChar.pm | 1 + unicode.inc.pl | 6 ++++++ unicode.plp | 3 +++ 3 files changed, 10 insertions(+) diff --git a/Shiar_Sheet/FormatChar.pm b/Shiar_Sheet/FormatChar.pm index 78f2a19..759ca85 100644 --- 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 1492a4f..a960f35 100644 --- 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 2e9678b..3e0c948 100644 --- 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 -- 2.30.0