unicode-chars.sty.rkt (24556B)
1 #lang at-exp racket 2 (provide unicode-chars) 3 (define unicode-chars 4 @string-append|<<<{ 5 \input glyphtounicode 6 \pdfgentounicode=1 7 \usepackage{accsupp} 8 %$\BeginAccSupp{method=hex,unicode,ActualText=2200}∀\EndAccSupp{} 9 % \BeginAccSupp{method=hex,unicode,ActualText=2192}→\EndAccSupp{}$ 10 \usepackage{bbold} 11 \usepackage{savesym} 12 \savesymbol{iint} 13 \savesymbol{iiint} 14 \savesymbol{dddot} 15 \savesymbol{ddddot} 16 \savesymbol{overleftrightarrow} 17 \savesymbol{underrightarrow} 18 \savesymbol{underleftarrow} 19 \savesymbol{underleftrightarrow} 20 \usepackage{amsmath} 21 \restoresymbol{ams}{iint} 22 \restoresymbol{ams}{iiint} 23 \restoresymbol{ams}{dddot} 24 \restoresymbol{ams}{ddddot} 25 \restoresymbol{ams}{underrightarrow} 26 \restoresymbol{ams}{underleftarrow} 27 \restoresymbol{ams}{underleftrightarrow} 28 \savesymbol{ulcorner} 29 \savesymbol{urcorner} 30 \savesymbol{llcorner} 31 \savesymbol{lrcorner} 32 \usepackage{amsfonts} 33 \restoresymbol{ams}{ulcorner} 34 \restoresymbol{ams}{urcorner} 35 \restoresymbol{ams}{llcorner} 36 \restoresymbol{ams}{lrcorner} 37 \usepackage{mathtools} 38 \usepackage{tikz} 39 % rename mathabx's version of triangleright 40 \let\mathabxtriangleright\triangleright 41 % restore symbol overridden by mathabx in Scribble's preamble to the default one 42 \def\triangleright{\mathchar"212E} 43 \makeatletter 44 % Must be loaded after MnSymbol!!! MnSymbol improperly defines × and ¬ in such a 45 % way that they don't work in math mode. 46 % definition of some characters, for use with 47 % \usepackage[utf8]{inputenc} 48 % \usepackage[T1]{fontenc} 49 % Author: Christoph Lange <math.semantic.web@gmail.com> 50 % Some math characters taken from John Wickerson's MathUnicode.sty 51 % (http://tex.stackexchange.com/questions/110042/ 52 % entering-unicode-math-symbols-into-latex-direct-from-keyboard-on-a-mac) 53 % https://github.com/clange/latex 54 \NeedsTeXFormat{LaTeX2e}[1999/12/01] 55 %\ProvidesPackage{unicode-chars}[2013/10/08] 56 57 \DeclareUnicodeCharacter{00A0}{~}% " " (nbsp) 58 \DeclareUnicodeCharacter{00A3}{\pounds}% £ 59 \DeclareUnicodeCharacter{00AB}{% 60 \ifmmode\textrm{\guillemotleft}\else\guillemotleft\fi}%« 61 % Declared by MnSymbol: 62 \DeclareUnicodeCharacter{00AC}{\ensuremath{\neg}}% ¬ 63 \DeclareUnicodeCharacter{00AE}{\textsuperscript{\textregistered}}% ® 64 \DeclareUnicodeCharacter{00AF}{\ensuremath{^-}}% ¯ 65 \DeclareUnicodeCharacter{00BB}{% 66 \ifmmode\textrm{\guillemotright}\else\guillemotright\fi}%» 67 % Declared by MnSymbol: 68 \DeclareUnicodeCharacter{00D7}{\ensuremath{\times}}% × 69 \DeclareUnicodeCharacter{00F1}{{\ifmmode\tilde{n}\else\~{n}\fi}}% ñ 70 71 \DeclareUnicodeCharacter{0101}{\=a}% ā 72 \DeclareUnicodeCharacter{0123}{\c g}% ģ 73 \DeclareUnicodeCharacter{0130}{\. I}% İ 74 \DeclareUnicodeCharacter{0146}{\c n}% ņ 75 \DeclareUnicodeCharacter{016B}{\=u}% ū 76 \DeclareUnicodeCharacter{03B1}{\ensuremath{\alpha}}% α 77 \DeclareUnicodeCharacter{03B4}{\ensuremath{\delta}}% δ 78 \DeclareUnicodeCharacter{0394}{\ensuremath{\Delta}}% Δ 79 \DeclareUnicodeCharacter{03F5}{\ensuremath{\epsilon}}% ϵ 80 \DeclareUnicodeCharacter{03B5}{\ensuremath{\varepsilon}}% ε 81 \DeclareUnicodeCharacter{0395}{\ensuremath{\Epsilon}}% Ε 82 \DeclareUnicodeCharacter{03BB}{\ensuremath{\lambda}}% λ 83 \DeclareUnicodeCharacter{039B}{\ensuremath{\Lambda}}% Λ 84 \DeclareUnicodeCharacter{03C1}{\ensuremath{\rho}}% ρ 85 \DeclareUnicodeCharacter{03A1}{\ensuremath{\Rho}}% Ρ 86 \DeclareUnicodeCharacter{2190}{\ensuremath{\leftarrow}}% ← 87 \DeclareUnicodeCharacter{2192}{\ensuremath{\BeginAccSupp{method=hex,unicode,ActualText=2192}\rightarrow\EndAccSupp{}}}% → 88 % 2192: \textrightarrow is not available in all fonts, 89 % and we need the right arrow in math mode 90 \DeclareUnicodeCharacter{2193}{\ensuremath{\downarrow}}% ↓ 91 \DeclareUnicodeCharacter{2194}{\ensuremath{\leftrightarrow}}% ↔ 92 \DeclareUnicodeCharacter{21A6}{\ensuremath{\mapsto}}% ↦ 93 \DeclareUnicodeCharacter{21C0}{\ensuremath{\rightharpoonup}}% ⇀ 94 \DeclareUnicodeCharacter{21D2}{\ensuremath{\Rightarrow}}% ⇒ 95 % Suzanne — added \operatorname{} in ∀ . 96 \DeclareUnicodeCharacter{2200}{\ensuremath{\operatorname{\BeginAccSupp{method=hex,unicode,ActualText=2200}\forall\EndAccSupp{}}}}% ∀ 97 \DeclareUnicodeCharacter{2203}{\ensuremath{\exists}}% ∃ 98 \DeclareUnicodeCharacter{2208}{\ensuremath{\in}}% ∈ 99 \DeclareUnicodeCharacter{2209}{\ensuremath{\not\in}}% ∉ 100 \DeclareUnicodeCharacter{2211}{\ensuremath{\sum}}% ∑ 101 \DeclareUnicodeCharacter{220F}{\ensuremath{\prod}}% ∏ 102 \DeclareUnicodeCharacter{2218}{\ensuremath{\circ}}% ∘ 103 \DeclareUnicodeCharacter{2227}{\ensuremath{\mathbin{\wedge}}}% ∧ 104 \DeclareUnicodeCharacter{2228}{\ensuremath{\mathbin{\vee}}}% ∨ 105 \DeclareUnicodeCharacter{2229}{\ensuremath{\mathbin{\cap}}}% ∩ 106 \DeclareUnicodeCharacter{222A}{\ensuremath{\mathbin{\cup}}}% ∪ 107 \DeclareUnicodeCharacter{228D}{\ensuremath{\mathbin{\cupdot}}}% ⊍ 108 \DeclareUnicodeCharacter{228E}{\ensuremath{\mathbin{\uplus}}}% ⊎ 109 %\DeclareUnicodeCharacter{2237}{\ensuremath{::}}% ∷ 110 % 2237: not sure that's a good way to render this symbol 111 \DeclareUnicodeCharacter{2248}{\ensuremath{\approx}}% ≈ 112 \DeclareUnicodeCharacter{2260}{\ensuremath{\ne}}% ≠ 113 \DeclareUnicodeCharacter{2261}{\ensuremath{\equiv}}% ≡ 114 \DeclareUnicodeCharacter{2262}{\ensuremath{\not\equiv}}% ≢ 115 \DeclareUnicodeCharacter{2264}{\ensuremath{\le}}% ≤ 116 \DeclareUnicodeCharacter{2265}{\ensuremath{\ge}}% ≥ 117 \DeclareUnicodeCharacter{2286}{\ensuremath{\subseteq}}% ⊆ 118 \DeclareUnicodeCharacter{2282}{\ensuremath{\subset}}% ⊂ 119 \DeclareUnicodeCharacter{2287}{\ensuremath{\supseteq}}% ⊇ 120 \DeclareUnicodeCharacter{2283}{\ensuremath{\supset}}% ⊃ 121 \DeclareUnicodeCharacter{219D}{\ensuremath{\leadsto}}% ↝ 122 \@ifpackageloaded{MnSymbol}{% 123 \DeclareUnicodeCharacter{2295}{\ensuremath{\oplus}}% ⊕ 124 \DeclareUnicodeCharacter{2296}{\ensuremath{\ominus}}% ⊖ 125 }{} 126 \DeclareUnicodeCharacter{22C0}{\ensuremath{\bigwedge}}% ⋀ 127 \DeclareUnicodeCharacter{22C0}{\ensuremath{\bigcupdot}}% ⋀ % TODO?! 128 \DeclareUnicodeCharacter{22C1}{\ensuremath{\biguplus}}% ⋁ % TODO?! 129 \DeclareUnicodeCharacter{22C2}{\ensuremath{\bigcap}}% ⋂ 130 \DeclareUnicodeCharacter{22C3}{\ensuremath{\bigcup}}% ⋃ 131 \DeclareUnicodeCharacter{2A03}{\ensuremath{\bigcupdot}}% ⨃ 132 \DeclareUnicodeCharacter{2A04}{\ensuremath{\biguplus}}% ⨄ 133 \DeclareUnicodeCharacter{25CB}{\ensuremath{\ocircle}}% ○ 134 \@ifpackageloaded{MnSymbol}{% 135 \DeclareUnicodeCharacter{2605}{\ensuremath{\filledlargestar}}% ★ 136 }{} 137 \DeclareUnicodeCharacter{2713}{\ensuremath{\checkmark}}% ✓ 138 \DeclareUnicodeCharacter{27F6}{\ensuremath{\longrightarrow}}% ⟶ 139 \DeclareUnicodeCharacter{27F7}{\ensuremath{\longleftrightarrow}}% ⟷ 140 \DeclareUnicodeCharacter{27F9}{\ensuremath{\Longrightarrow}}% ⟹ 141 % 142 % Additions by Suzanne Soy 143 \DeclareUnicodeCharacter{2237}{\ensuremath{\dblcolon}}% ∷ 144 \DeclareUnicodeCharacter{228F}{\ensuremath{\sqsubset}}% ⊏ 145 \DeclareUnicodeCharacter{2290}{\ensuremath{\sqsubset}}% ⊐ 146 \DeclareUnicodeCharacter{2291}{\ensuremath{\sqsubseteq}}% ⊑ 147 \DeclareUnicodeCharacter{2292}{\ensuremath{\sqsupseteq}}% ⊒ 148 \DeclareUnicodeCharacter{2293}{\ensuremath{\sqcap}}% ⊓ 149 \DeclareUnicodeCharacter{2294}{\ensuremath{\sqcup}}% ⊔ 150 % 151 \usepackage{graphicx}% 152 \providecommand{\bigsqcap}{% 153 \mathop{% 154 \mathpalette\@updown\bigsqcup 155 }% 156 } 157 \newcommand*{\@updown}[2]{% 158 \rotatebox[origin=c]{180}{$\m@th#1#2$}% 159 } 160 \DeclareUnicodeCharacter{2A05}{\ensuremath{\bigsqcap}}% ⨅ 161 \DeclareUnicodeCharacter{2A06}{\ensuremath{\bigsqcup}}% ⨆ 162 \DeclareUnicodeCharacter{2080}{\ensuremath{{}_0}}% ₀ 163 \DeclareUnicodeCharacter{2081}{\ensuremath{\BeginAccSupp{method=hex,unicode,ActualText=2081}{}_1\EndAccSupp{}}}% ₁ 164 \DeclareUnicodeCharacter{2082}{\ensuremath{{}_2}}% ₂ 165 \DeclareUnicodeCharacter{2083}{\ensuremath{{}_3}}% ₃ 166 \DeclareUnicodeCharacter{2084}{\ensuremath{{}_4}}% ₄ 167 \DeclareUnicodeCharacter{2085}{\ensuremath{{}_5}}% ₅ 168 \DeclareUnicodeCharacter{2086}{\ensuremath{{}_6}}% ₆ 169 \DeclareUnicodeCharacter{2087}{\ensuremath{{}_7}}% ₇ 170 \DeclareUnicodeCharacter{2088}{\ensuremath{{}_8}}% ₈ 171 \DeclareUnicodeCharacter{2089}{\ensuremath{{}_9}}% ₉ 172 \DeclareUnicodeCharacter{208A}{\ensuremath{{}_+}}% ₊ 173 \DeclareUnicodeCharacter{208B}{\ensuremath{{}_-}}% ₋ 174 \DeclareUnicodeCharacter{208C}{\ensuremath{{}_=}}% ₌ 175 \DeclareUnicodeCharacter{208D}{\ensuremath{{}_(}}% ₍ 176 \DeclareUnicodeCharacter{208E}{\ensuremath{{}_)}}% ₎ 177 \DeclareUnicodeCharacter{2098}{\ensuremath{{}_m}}% ₘ 178 \DeclareUnicodeCharacter{2099}{\ensuremath{{}_n}}% ₙ 179 \DeclareUnicodeCharacter{2095}{\ensuremath{{}_h}}% ₕ 180 \DeclareUnicodeCharacter{1D62}{\ensuremath{{}_i}}% ᵢ 181 \DeclareUnicodeCharacter{2C7C}{\ensuremath{{}_j}}% ⱼ 182 \DeclareUnicodeCharacter{2096}{\ensuremath{{}_k}}% ₖ 183 \DeclareUnicodeCharacter{2097}{\ensuremath{{}_l}}% ₗ 184 \DeclareUnicodeCharacter{209B}{\ensuremath{{}_s}}% ₛ 185 % 186 \DeclareUnicodeCharacter{2070}{\ensuremath{{}^0}}% ⁰ 187 %\DeclareUnicodeCharacter{00B9}{\ensuremath{{}^1}}% ¹ 188 %\DeclareUnicodeCharacter{00B2}{\ensuremath{{}^2}}% ² 189 %\DeclareUnicodeCharacter{00B3}{\ensuremath{{}^3}}% ³ 190 \DeclareUnicodeCharacter{2074}{\ensuremath{{}^4}}% ⁴ 191 \DeclareUnicodeCharacter{2075}{\ensuremath{{}^5}}% ⁵ 192 \DeclareUnicodeCharacter{2076}{\ensuremath{{}^6}}% ⁶ 193 \DeclareUnicodeCharacter{2077}{\ensuremath{{}^7}}% ⁷ 194 \DeclareUnicodeCharacter{2078}{\ensuremath{{}^8}}% ⁸ 195 \DeclareUnicodeCharacter{2079}{\ensuremath{{}^9}}% ⁹ 196 \DeclareUnicodeCharacter{207A}{\ensuremath{{}^+}}% ⁺ 197 \DeclareUnicodeCharacter{207B}{\ensuremath{{}^-}}% ⁻ 198 \DeclareUnicodeCharacter{207C}{\ensuremath{{}^=}}% ⁼ 199 \DeclareUnicodeCharacter{207D}{\ensuremath{{}^(}}% ⁽ 200 \DeclareUnicodeCharacter{207E}{\ensuremath{{}^)}}% ⁾ 201 \DeclareUnicodeCharacter{207F}{\ensuremath{{}^n}}% ⁿ 202 \DeclareUnicodeCharacter{2071}{\ensuremath{{}^i}}% ⁱ 203 \DeclareUnicodeCharacter{02B2}{\ensuremath{{}^j}}% ʲ 204 \DeclareUnicodeCharacter{1D4F}{\ensuremath{{}^k}}% ᵏ 205 \DeclareUnicodeCharacter{2093}{\ensuremath{{}_x}}% ₓ 206 %s 207 \DeclareUnicodeCharacter{2026}{\ensuremath{\dots}}% … 208 209 % Generated from ~/.XCompose using: 210 % cat /tmp/cal.txt | cut -d '"' -f 2- | tr '"' ' ' | cut -d ' ' -f 1,6 \ 211 % | while IFS=' ' read a b; do 212 % echo -n "\\DeclareUnicodeCharacter{$(printf "%X" "'$a")}" 213 % echo "{\\\\ensuremath{\\mathcal{$b}}}% $a"; 214 % done 215 216 \DeclareUnicodeCharacter{1D49C}{\ensuremath{\mathcal{A}}}% 𝒜 217 \DeclareUnicodeCharacter{212C}{\ensuremath{\mathcal{B}}}% ℬ 218 \DeclareUnicodeCharacter{1D49E}{\ensuremath{\mathcal{C}}}% 𝒞 219 \DeclareUnicodeCharacter{1D49F}{\ensuremath{\mathcal{D}}}% 𝒟 220 \DeclareUnicodeCharacter{2130}{\ensuremath{\mathcal{E}}}% ℰ 221 \DeclareUnicodeCharacter{2131}{\ensuremath{\mathcal{F}}}% ℱ 222 \DeclareUnicodeCharacter{1D4A2}{\ensuremath{\mathcal{G}}}% 𝒢 223 \DeclareUnicodeCharacter{210B}{\ensuremath{\mathcal{H}}}% ℋ 224 \DeclareUnicodeCharacter{2110}{\ensuremath{\mathcal{I}}}% ℐ 225 \DeclareUnicodeCharacter{1D4A5}{\ensuremath{\mathcal{J}}}% 𝒥 226 \DeclareUnicodeCharacter{1D4A6}{\ensuremath{\mathcal{K}}}% 𝒦 227 \DeclareUnicodeCharacter{2112}{\ensuremath{\mathcal{L}}}% ℒ 228 \DeclareUnicodeCharacter{2133}{\ensuremath{\mathcal{M}}}% ℳ 229 \DeclareUnicodeCharacter{1D4A9}{\ensuremath{\mathcal{N}}}% 𝒩 230 \DeclareUnicodeCharacter{1D4AA}{\ensuremath{\mathcal{O}}}% 𝒪 231 \DeclareUnicodeCharacter{1D4AB}{\ensuremath{\mathcal{P}}}% 𝒫 232 \DeclareUnicodeCharacter{1D4AC}{\ensuremath{\mathcal{Q}}}% 𝒬 233 \DeclareUnicodeCharacter{211B}{\ensuremath{\mathcal{R}}}% ℛ 234 \DeclareUnicodeCharacter{1D4AE}{\ensuremath{\mathcal{S}}}% 𝒮 235 \DeclareUnicodeCharacter{1D4AF}{\ensuremath{\mathcal{T}}}% 𝒯 236 \DeclareUnicodeCharacter{1D4B0}{\ensuremath{\mathcal{U}}}% 𝒰 237 \DeclareUnicodeCharacter{1D4B1}{\ensuremath{\mathcal{V}}}% 𝒱 238 \DeclareUnicodeCharacter{1D4B2}{\ensuremath{\mathcal{W}}}% 𝒲 239 \DeclareUnicodeCharacter{1D4B3}{\ensuremath{\mathcal{X}}}% 𝒳 240 \DeclareUnicodeCharacter{1D4B4}{\ensuremath{\mathcal{Y}}}% 𝒴 241 \DeclareUnicodeCharacter{1D4B5}{\ensuremath{\mathcal{Z}}}% 𝒵 242 \DeclareUnicodeCharacter{1D4B6}{\ensuremath{\mathcal{a}}}% 𝒶 243 \DeclareUnicodeCharacter{1D4B7}{\ensuremath{\mathcal{b}}}% 𝒷 244 \DeclareUnicodeCharacter{1D4B8}{\ensuremath{\mathcal{c}}}% 𝒸 245 \DeclareUnicodeCharacter{1D4B9}{\ensuremath{\mathcal{d}}}% 𝒹 246 \DeclareUnicodeCharacter{212F}{\ensuremath{\mathcal{e}}}% ℯ 247 \DeclareUnicodeCharacter{1D4BB}{\ensuremath{\mathcal{f}}}% 𝒻 248 \DeclareUnicodeCharacter{210A}{\ensuremath{\mathcal{g}}}% ℊ 249 \DeclareUnicodeCharacter{1D4BD}{\ensuremath{\mathcal{h}}}% 𝒽 250 \DeclareUnicodeCharacter{1D4BE}{\ensuremath{\mathcal{i}}}% 𝒾 251 \DeclareUnicodeCharacter{1D4BF}{\ensuremath{\mathcal{j}}}% 𝒿 252 \DeclareUnicodeCharacter{1D4C0}{\ensuremath{\mathcal{k}}}% 𝓀 253 \DeclareUnicodeCharacter{1D4C1}{\ensuremath{\mathcal{l}}}% 𝓁 254 \DeclareUnicodeCharacter{1D4C2}{\ensuremath{\mathcal{m}}}% 𝓂 255 \DeclareUnicodeCharacter{1D4C3}{\ensuremath{\mathcal{n}}}% 𝓃 256 \DeclareUnicodeCharacter{2134}{\ensuremath{\mathcal{o}}}% ℴ 257 \DeclareUnicodeCharacter{1D4C5}{\ensuremath{\mathcal{p}}}% 𝓅 258 \DeclareUnicodeCharacter{1D4C6}{\ensuremath{\mathcal{q}}}% 𝓆 259 \DeclareUnicodeCharacter{1D4C7}{\ensuremath{\mathcal{r}}}% 𝓇 260 \DeclareUnicodeCharacter{1D4C8}{\ensuremath{\mathcal{s}}}% 𝓈 261 \DeclareUnicodeCharacter{1D4C9}{\ensuremath{\mathcal{t}}}% 𝓉 262 \DeclareUnicodeCharacter{1D4CA}{\ensuremath{\mathcal{u}}}% 𝓊 263 \DeclareUnicodeCharacter{1D4CB}{\ensuremath{\mathcal{v}}}% 𝓋 264 \DeclareUnicodeCharacter{1D4CC}{\ensuremath{\mathcal{w}}}% 𝓌 265 \DeclareUnicodeCharacter{1D4CD}{\ensuremath{\mathcal{x}}}% 𝓍 266 \DeclareUnicodeCharacter{1D4CE}{\ensuremath{\mathcal{y}}}% 𝓎 267 \DeclareUnicodeCharacter{1D4CF}{\ensuremath{\mathcal{z}}}% 𝓏 268 \DeclareUnicodeCharacter{220C}{\ensuremath{\not\ni}}% ∌ 269 \DeclareUnicodeCharacter{220B}{\ensuremath{\ni}}% ∋ 270 \DeclareUnicodeCharacter{2008}{\,}% Punctuation space 271 \DeclareUnicodeCharacter{2032}{\ensuremath{'}}% ′ (Prime) 272 \DeclareUnicodeCharacter{2033}{\ensuremath{''}}% ″ (2x Prime) 273 \DeclareUnicodeCharacter{2034}{\ensuremath{'''}}% ‴ (3x Prime) 274 \DeclareUnicodeCharacter{2057}{\ensuremath{''''}}% ⁗ (4x Prime) 275 \DeclareUnicodeCharacter{1D538}{\ensuremath{\mathbb{A}}}% 𝔸 276 \DeclareUnicodeCharacter{1D539}{\ensuremath{\mathbb{B}}}% 𝔹 277 \DeclareUnicodeCharacter{2102}{\ensuremath{\mathbb{C}}}% ℂ 278 \DeclareUnicodeCharacter{1D53B}{\ensuremath{\mathbb{D}}}% 𝔻 279 \DeclareUnicodeCharacter{1D53C}{\ensuremath{\mathbb{E}}}% 𝔼 280 \DeclareUnicodeCharacter{1D53D}{\ensuremath{\mathbb{F}}}% 𝔽 281 \DeclareUnicodeCharacter{1D53E}{\ensuremath{\mathbb{G}}}% 𝔾 282 \DeclareUnicodeCharacter{210D}{\ensuremath{\mathbb{H}}}% ℍ 283 \DeclareUnicodeCharacter{1D540}{\ensuremath{\mathbb{I}}}% 𝕀 284 \DeclareUnicodeCharacter{1D541}{\ensuremath{\mathbb{J}}}% 𝕁 285 \DeclareUnicodeCharacter{1D542}{\ensuremath{\mathbb{K}}}% 𝕂 286 \DeclareUnicodeCharacter{1D543}{\ensuremath{\mathbb{L}}}% 𝕃 287 \DeclareUnicodeCharacter{1D544}{\ensuremath{\mathbb{M}}}% 𝕄 288 \DeclareUnicodeCharacter{2115}{\ensuremath{\mathbb{N}}}% ℕ 289 \DeclareUnicodeCharacter{1D546}{\ensuremath{\mathbb{O}}}% 𝕆 290 \DeclareUnicodeCharacter{2119}{\ensuremath{\mathbb{P}}}% ℙ 291 \DeclareUnicodeCharacter{211A}{\ensuremath{\mathbb{Q}}}% ℚ 292 \DeclareUnicodeCharacter{211D}{\ensuremath{\mathbb{R}}}% ℝ 293 \DeclareUnicodeCharacter{1D54A}{\ensuremath{\mathbb{S}}}% 𝕊 294 \DeclareUnicodeCharacter{1D54B}{\ensuremath{\mathbb{T}}}% 𝕋 295 \DeclareUnicodeCharacter{1D54C}{\ensuremath{\mathbb{U}}}% 𝕌 296 \DeclareUnicodeCharacter{1D54D}{\ensuremath{\mathbb{V}}}% 𝕍 297 \DeclareUnicodeCharacter{1D54E}{\ensuremath{\mathbb{W}}}% 𝕎 298 \DeclareUnicodeCharacter{1D54F}{\ensuremath{\mathbb{X}}}% 𝕏 299 \DeclareUnicodeCharacter{1D550}{\ensuremath{\mathbb{Y}}}% 𝕐 300 \DeclareUnicodeCharacter{2124}{\ensuremath{\mathbb{Z}}}% ℤ 301 \DeclareUnicodeCharacter{213C}{\ensuremath{\mathbb{\pi}}}% ℼ 302 \DeclareUnicodeCharacter{213D}{\ensuremath{\mathbb{\gamma}}}% ℽ 303 \DeclareUnicodeCharacter{213E}{\ensuremath{\mathbb{\Gamma}}}% ℾ 304 \DeclareUnicodeCharacter{213F}{\ensuremath{\mathbb{\Pi}}}% ℿ 305 \DeclareUnicodeCharacter{2140}{\ensuremath{\mathbb{\Sigma}}}% ⅀ 306 \DeclareUnicodeCharacter{1D7D8}{\ensuremath{\mathbb{0}}}% 𝟘 307 \DeclareUnicodeCharacter{1D7D9}{\ensuremath{\mathbb{1}}}% 𝟙 308 \DeclareUnicodeCharacter{1D7DA}{\ensuremath{\mathbb{2}}}% 𝟚 309 \DeclareUnicodeCharacter{1D7DB}{\ensuremath{\mathbb{3}}}% 𝟛 310 \DeclareUnicodeCharacter{1D7DC}{\ensuremath{\mathbb{4}}}% 𝟜 311 \DeclareUnicodeCharacter{1D7DD}{\ensuremath{\mathbb{5}}}% 𝟝 312 \DeclareUnicodeCharacter{1D7DE}{\ensuremath{\mathbb{6}}}% 𝟞 313 \DeclareUnicodeCharacter{1D7DF}{\ensuremath{\mathbb{7}}}% 𝟟 314 \DeclareUnicodeCharacter{1D7E0}{\ensuremath{\mathbb{8}}}% 𝟠 315 \DeclareUnicodeCharacter{1D7E1}{\ensuremath{\mathbb{9}}}% 𝟡 316 \DeclareUnicodeCharacter{1D552}{\ensuremath{\mathbb{a}}}% 𝕒 317 \DeclareUnicodeCharacter{1D553}{\ensuremath{\mathbb{b}}}% 𝕓 318 \DeclareUnicodeCharacter{1D554}{\ensuremath{\mathbb{c}}}% 𝕔 319 \DeclareUnicodeCharacter{1D555}{\ensuremath{\mathbb{d}}}% 𝕕 320 \DeclareUnicodeCharacter{1D556}{\ensuremath{\mathbb{e}}}% 𝕖 321 \DeclareUnicodeCharacter{1D557}{\ensuremath{\mathbb{f}}}% 𝕗 322 \DeclareUnicodeCharacter{1D558}{\ensuremath{\mathbb{g}}}% 𝕘 323 \DeclareUnicodeCharacter{1D559}{\ensuremath{\mathbb{h}}}% 𝕙 324 \DeclareUnicodeCharacter{1D55A}{\ensuremath{\mathbb{i}}}% 𝕚 325 \DeclareUnicodeCharacter{1D55B}{\ensuremath{\mathbb{j}}}% 𝕛 326 \DeclareUnicodeCharacter{1D55C}{\ensuremath{\mathbb{k}}}% 𝕜 327 \DeclareUnicodeCharacter{1D55D}{\ensuremath{\mathbb{l}}}% 𝕝 328 \DeclareUnicodeCharacter{1D55E}{\ensuremath{\mathbb{m}}}% 𝕞 329 \DeclareUnicodeCharacter{1D55F}{\ensuremath{\mathbb{n}}}% 𝕟 330 \DeclareUnicodeCharacter{1D560}{\ensuremath{\mathbb{o}}}% 𝕠 331 \DeclareUnicodeCharacter{1D561}{\ensuremath{\mathbb{p}}}% 𝕡 332 \DeclareUnicodeCharacter{1D562}{\ensuremath{\mathbb{q}}}% 𝕢 333 \DeclareUnicodeCharacter{1D563}{\ensuremath{\mathbb{r}}}% 𝕣 334 \DeclareUnicodeCharacter{1D564}{\ensuremath{\mathbb{s}}}% 𝕤 335 \DeclareUnicodeCharacter{1D565}{\ensuremath{\mathbb{t}}}% 𝕥 336 \DeclareUnicodeCharacter{1D566}{\ensuremath{\mathbb{u}}}% 𝕦 337 \DeclareUnicodeCharacter{1D567}{\ensuremath{\mathbb{v}}}% 𝕧 338 \DeclareUnicodeCharacter{1D568}{\ensuremath{\mathbb{w}}}% 𝕨 339 \DeclareUnicodeCharacter{1D569}{\ensuremath{\mathbb{x}}}% 𝕩 340 \DeclareUnicodeCharacter{1D56A}{\ensuremath{\mathbb{y}}}% 𝕪 341 \DeclareUnicodeCharacter{1D56B}{\ensuremath{\mathbb{z}}}% 𝕫 342 \DeclareUnicodeCharacter{03C4}{\ensuremath{\tau}}% τ 343 \DeclareUnicodeCharacter{221E}{\ensuremath{\infty}}% ∞ 344 \DeclareUnicodeCharacter{219B}{\ensuremath{\nrightarrow}}% ↛ 345 \DeclareUnicodeCharacter{3C5}{\ensuremath{\upsilon}}% υ 346 \DeclareUnicodeCharacter{1D50}{\ensuremath{^m}}% ᵐ 347 \DeclareUnicodeCharacter{2205}{\ensuremath{\emptyset}}% ∅ 348 \DeclareUnicodeCharacter{3C3}{\ensuremath{\sigma}}% σ 349 \DeclareUnicodeCharacter{2254}{\ensuremath{\coloneqq}}% ≔ 350 \DeclareUnicodeCharacter{2A74}{\ensuremath{\Coloneqq}}% ⩴ 351 \DeclareUnicodeCharacter{2184}{\ensuremath{\reflectbox{$c$}}}% ↄ % TODO: \ifmmode 352 \DeclareUnicodeCharacter{A7FB}{\ensuremath{\reflectbox{$F$}}}% ꟻ 353 \DeclareUnicodeCharacter{250}{\ensuremath{\raisebox{\depth}{\rotatebox{180}{a}}}}% ɐ % TODO: \ifmmode 354 \DeclareUnicodeCharacter{393}{\ensuremath{\Gamma}}% Γ 355 \DeclareUnicodeCharacter{22A2}{\ensuremath{\vdash}}% ⊢ 356 \DeclareUnicodeCharacter{21AA}{\ensuremath{\hookrightarrow}}% ↪ 357 \DeclareUnicodeCharacter{2204}{\ensuremath{\nexists}}% ∄ 358 \DeclareUnicodeCharacter{3C6}{\ensuremath{\phi}}% φ 359 \DeclareUnicodeCharacter{3BA}{\ensuremath{\kappa}}% κ 360 \DeclareUnicodeCharacter{3B7}{\ensuremath{\eta}}% η 361 \DeclareUnicodeCharacter{22A4}{\ensuremath{\top}}% ⊤ 362 \DeclareUnicodeCharacter{3C0}{\ensuremath{\pi}}% π 363 \DeclareUnicodeCharacter{3A0}{\ensuremath{\Pi}}% Π 364 \DeclareUnicodeCharacter{2216}{\ensuremath{\setminus}}% ∖ 365 \DeclareUnicodeCharacter{22A5}{\ensuremath{\bot}}% ⊥ 366 \DeclareUnicodeCharacter{3C8}{\ensuremath{\psi}}% ψ 367 \DeclareUnicodeCharacter{3B2}{\ensuremath{\beta}}% β 368 \DeclareUnicodeCharacter{2772}{\tikz[baseline=0.2ex]\draw[line cap=round] (0,0) ++(-30:0.7ex) -- ++(-30:-0.7ex) -- ++(0,1.6ex) -- ++(30:0.7ex) {};}% ❲ 369 \DeclareUnicodeCharacter{2773}{\tikz[baseline=0.2ex]\draw[line cap=round] (0,0) ++(-150:0.7ex) -- ++(-150:-0.7ex) -- ++(0,1.6ex) -- ++(150:0.7ex) {};}% ❳ 370 \def\mediumlangle{% 371 \rlap{$\langle$}\kern 0.1pt% 372 \rlap{$\langle$}\kern 0.1pt% 373 \rlap{$\langle$}\kern 0.1pt% 374 \rlap{$\langle$}\kern 0.1pt% 375 \rlap{$\langle$}\kern 0.1pt% 376 \rlap{$\langle$}\kern 0.1pt% 377 \langle% 378 } 379 \def\mediumrangle{% 380 \rlap{$\rangle$}\kern 0.1pt% 381 \rlap{$\rangle$}\kern 0.1pt% 382 \rlap{$\rangle$}\kern 0.1pt% 383 \rlap{$\rangle$}\kern 0.1pt% 384 \rlap{$\rangle$}\kern 0.1pt% 385 \rlap{$\rangle$}\kern 0.1pt% 386 \rangle% 387 } 388 \def\boldlangle{% 389 \rlap{$\langle$}\kern 0.1pt\rlap{$\langle$}\kern 0.1pt% 390 \rlap{$\langle$}\kern 0.1pt\rlap{$\langle$}\kern 0.1pt% 391 \rlap{$\langle$}\kern 0.1pt\rlap{$\langle$}\kern 0.1pt% 392 \rlap{$\langle$}\kern 0.1pt\rlap{$\langle$}\kern 0.1pt% 393 \rlap{$\langle$}\kern 0.1pt\rlap{$\langle$}\kern 0.1pt% 394 \rlap{$\langle$}\kern 0.1pt\rlap{$\langle$}\kern 0.1pt% 395 \langle% 396 } 397 \def\boldrangle{% 398 \rlap{$\rangle$}\kern 0.1pt\rlap{$\rangle$}\kern 0.1pt% 399 \rlap{$\rangle$}\kern 0.1pt\rlap{$\rangle$}\kern 0.1pt% 400 \rlap{$\rangle$}\kern 0.1pt\rlap{$\rangle$}\kern 0.1pt% 401 \rlap{$\rangle$}\kern 0.1pt\rlap{$\rangle$}\kern 0.1pt% 402 \rlap{$\rangle$}\kern 0.1pt\rlap{$\rangle$}\kern 0.1pt% 403 \rlap{$\rangle$}\kern 0.1pt\rlap{$\rangle$}\kern 0.1pt% 404 \rangle% 405 } 406 \DeclareUnicodeCharacter{276C}{\ensuremath{\mediumlangle}}% ❬ 407 \DeclareUnicodeCharacter{276D}{\ensuremath{\mediumrangle}}% ❭ 408 \DeclareUnicodeCharacter{2770}{\ensuremath{\boldlangle}}% ❰ 409 \DeclareUnicodeCharacter{2771}{\ensuremath{\boldrangle}}% ❱ 410 \makeatother 411 }>>>|)