From 710544ef814766d3f1d83973c2d07b74f621539e Mon Sep 17 00:00:00 2001 From: Suzanne Soy Date: Thu, 4 Mar 2021 20:52:14 +0000 Subject: [PATCH] Changed my name :) --- unicode-chars.sty.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/unicode-chars.sty.rkt b/unicode-chars.sty.rkt index f873616a..238aebb9 100644 --- a/unicode-chars.sty.rkt +++ b/unicode-chars.sty.rkt @@ -92,7 +92,7 @@ \DeclareUnicodeCharacter{21A6}{\ensuremath{\mapsto}}% ↦ \DeclareUnicodeCharacter{21C0}{\ensuremath{\rightharpoonup}}% ⇀ \DeclareUnicodeCharacter{21D2}{\ensuremath{\Rightarrow}}% ⇒ -% Georges — added \operatorname{} in ∀ . +% Suzanne — added \operatorname{} in ∀ . \DeclareUnicodeCharacter{2200}{\ensuremath{\operatorname{\BeginAccSupp{method=hex,unicode,ActualText=2200}\forall\EndAccSupp{}}}}% ∀ \DeclareUnicodeCharacter{2203}{\ensuremath{\exists}}% ∃ \DeclareUnicodeCharacter{2208}{\ensuremath{\in}}% ∈ @@ -408,4 +408,4 @@ \DeclareUnicodeCharacter{2770}{\ensuremath{\boldlangle}}% ❰ \DeclareUnicodeCharacter{2771}{\ensuremath{\boldrangle}}% ❱ \makeatother -}>>>|) \ No newline at end of file +}>>>|)