Changed my name :)

This commit is contained in:
Suzanne Soy 2021-03-04 20:52:14 +00:00
parent 50519c2ea9
commit 710544ef81

View File

@ -92,7 +92,7 @@
\DeclareUnicodeCharacter{21A6}{\ensuremath{\mapsto}}% \DeclareUnicodeCharacter{21A6}{\ensuremath{\mapsto}}%
\DeclareUnicodeCharacter{21C0}{\ensuremath{\rightharpoonup}}% \DeclareUnicodeCharacter{21C0}{\ensuremath{\rightharpoonup}}%
\DeclareUnicodeCharacter{21D2}{\ensuremath{\Rightarrow}}% \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{2200}{\ensuremath{\operatorname{\BeginAccSupp{method=hex,unicode,ActualText=2200}\forall\EndAccSupp{}}}}%
\DeclareUnicodeCharacter{2203}{\ensuremath{\exists}}% \DeclareUnicodeCharacter{2203}{\ensuremath{\exists}}%
\DeclareUnicodeCharacter{2208}{\ensuremath{\in}}% \DeclareUnicodeCharacter{2208}{\ensuremath{\in}}%
@ -408,4 +408,4 @@
\DeclareUnicodeCharacter{2770}{\ensuremath{\boldlangle}}% \DeclareUnicodeCharacter{2770}{\ensuremath{\boldlangle}}%
\DeclareUnicodeCharacter{2771}{\ensuremath{\boldrangle}}% \DeclareUnicodeCharacter{2771}{\ensuremath{\boldrangle}}%
\makeatother \makeatother
}>>>|) }>>>|)