### File header must not be modified
### This file must be encoded into UTF-8.
### This file comes from vscode-lean4's abbreviation table:
### <https://github.com/leanprover/vscode-lean4/raw/5a938adc7913fbb4e177391bc2b762a35ab29153/lean4-unicode-input/src/abbreviations.json>
SCIM_Generic_Table_Phrase_Library_TEXT
VERSION_1_0

### Begin Table definition.
BEGIN_DEFINITION

### An unique id to distinguish this table among others.
### Use uuidgen to generate this kind of id.
UUID = 3fa17a5a-7423-40fb-931e-1930e30e1657

### A unique number indicates the version of this file.
### For example the last modified date of this file.
### This number must be less than 2^32.
SERIAL_NUMBER = 20250522

### License
LICENSE = LGPL-2.1-or-later

ICON = lean.svg

### The symbol to be displayed in IM switchers
SYMBOL = ∀

### Prompt string to be displayed in the status area.
STATUS_PROMPT = ∀

### The default name of this table
NAME = Lean 4

### Description
DESCRIPTION = Use Lean abbreviations to enter mathematical symbols. All abbreviations start with a backslash (\).

### Author of this table
AUTHOR = Alba Mendez <me@alba.sh>

### Supported locales of this table
LANGUAGES = other

### If true then the phrases' frequencies will be adjusted dynamically.
DYNAMIC_ADJUST = TRUE

### If true then the preedit area will be filled up by the current candidate phrase automatically.

### Use full width punctuation by default
DEF_FULL_WIDTH_PUNCT = FALSE

### Use full width letter by default
DEF_FULL_WIDTH_LETTER = FALSE

### The maxmium length of a key.
MAX_KEY_LENGTH = 20

### Valid input chars.
### Since '=' is one of the VALID_INPUT_CHARS, we use '==' as delimiter
### so it is correctly picked up by the parser
VALID_INPUT_CHARS == abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ1234567890^\_[] !"#&'()*+-./:=<>?|`{}~

### Start characters, every key in the table starts with one of these characters
START_CHARS = \

### Layout
### This table can be used with any layout capable of typing ASCII.
### Therefore, we should not require a special layout like “us”.
LAYOUT = default

### If true then a multi wildcard will be appended
### at the end of inputing string automatically.
AUTO_WILDCARD = TRUE

### Single wildcard char (leave empty if you don’t want a wildcard character).
SINGLE_WILDCARD_CHAR =

### Multi wildcard char (leave empty if you don’t want a wildcard character).
MULTI_WILDCARD_CHAR =

### Whether user are allow to define phrase, default is true
### You have to define the word construction rules below.
### For input methods which do not input phrases, set this to False
USER_CAN_DEFINE_PHRASE = FALSE

### Whether support PinYin Mode, default is true.
### this feature is just for Chinese, set it to False if your IM is not
### Chinese.
PINYIN_MODE = FALSE

### The key strokes to select candidiate phrases.
SELECT_KEYS = F1,F2,F3,F4,F5,F6,F7,F8,F9,F10

END_DEFINITION

### Begin Table data.
BEGIN_TABLE
\\	\	0
\a	α	0
\b	β	0
\c	χ	0
\d	↓	0
\e	ε	0
\g	γ	0
\i	∩	0
\m	μ	0
\n	¬	0
\o	∘	0
\p	Π	0
\t	▸	0
\r	→	0
\u	↑	0
\v	∨	0
\x	×	0
\-	⁻¹	0
\~	∼	0
\.	·	0
\*	⋆	0
\?	¿	0
\1	₁	0
\2	₂	0
\3	₃	0
\4	₄	0
\5	₅	0
\6	₆	0
\7	₇	0
\8	₈	0
\9	₉	0
\0	₀	0
\l	←	0
\<	⟨	0
\>	⟩	0
\O	Ø	0
\&	⅋	0
\A	𝔸	0
\C	ℂ	0
\D	Δ	0
\F	𝔽	0
\G	Γ	0
\H	ℍ	0
\I	⋂	0
\I0	⋂₀	0
\K	𝕂	0
\L	Λ	0
\N	ℕ	0
\P	Π	0
\Q	ℚ	0
\R	ℝ	0
\S	Σ	0
\U	⋃	0
\U0	⋃₀	0
\Z	ℤ	0
\#	♯	0
\:	∶	0
\|	∣	0
\!	¡	0
\be	β	0
\ga	γ	0
\de	δ	0
\ep	ε	0
\ze	ζ	0
\et	η	0
\th	θ	0
\io	ι	0
\ka	κ	0
\la	λ	0
\mu	μ	0
\nu	ν	0
\xi	ξ	0
\pi	π	0
\rh	ρ	0
\vsi	ς	0
\si	σ	0
\ta	τ	0
\ph	φ	0
\ch	χ	0
\ps	ψ	0
\om	ω	0
\`A	À	0
\'A	Á	0
\^{A}	Â	0
\~A	Ã	0
\"A	Ä	0
\cC	Ç	0
\`E	È	0
\'E	É	0
\^{E}	Ê	0
\"E	Ë	0
\`I	Ì	0
\'I	Í	0
\^{I}	Î	0
\"I	Ï	0
\~N	Ñ	0
\`O	Ò	0
\'O	Ó	0
\^{O}	Ô	0
\~O	Õ	0
\"O	Ö	0
\/O	Ø	0
\`U	Ù	0
\'U	Ú	0
\^{U}	Û	0
\"U	Ü	0
\'Y	Ý	0
\`a	à	0
\'a	á	0
\^{a}	â	0
\~a	ã	0
\"a	ä	0
\cc	ç	0
\`e	è	0
\'e	é	0
\^{e}	ê	0
\"e	ë	0
\`i	ì	0
\'i	í	0
\^{i}	î	0
\"i	ï	0
\~{n}	ñ	0
\`o	ò	0
\'o	ó	0
\^{o}	ô	0
\~o	õ	0
\"o	ö	0
\/o	ø	0
\`u	ù	0
\'u	ú	0
\^{u}	û	0
\"u	ü	0
\'y	ý	0
\"y	ÿ	0
\/L	Ł	0
\notin	∉	0
\note	♩	0
\not	¬	0
\nomisma	𐆎	0
\nin	∉	0
\nni	∌	0
\ni	∋	0
\nattrans	⟹	0
\nat_trans	⟹	0
\natural	♮	0
\nat	ℕ	0
\naira	₦	0
\nabla	∇	0
\napprox	≉	0
\numero	№	0
\nLeftarrow	⇍	0
\nLeftrightarrow	⇎	0
\nRightarrow	⇏	0
\nVDash	⊯	0
\nVdash	⊮	0
\ncong	≇	0
\nearrow	↗	0
\neg	¬	0
\nequiv	≢	0
\neq	≠	0
\nexists	∄	0
\ne	≠	0
\ngeqq	≱	0
\ngeqslant	≱	0
\ngeq	≱	0
\ngtr	≯	0
\nleftarrow	↚	0
\nleftrightarrow	↮	0
\nleqq	≰	0
\nleqslant	≰	0
\nleq	≰	0
\nless	≮	0
\nmid	∤	0
\nparallel	∦	0
\npreceq	⋠	0
\nprec	⊀	0
\nrightarrow	↛	0
\nshortmid	∤	0
\nsimeq	≄	0
\nsim	≁	0
\nsubseteqq	⊈	0
\nsubseteq	⊈	0
\nsubset	⊄	0
\nsucceq	⋡	0
\nsucc	⊁	0
\nsupseteqq	⊉	0
\nsupseteq	⊉	0
\nsupset	⊅	0
\ntrianglelefteq	⋬	0
\ntriangleleft	⋪	0
\ntrianglerighteq	⋭	0
\ntriangleright	⋫	0
\nvDash	⊭	0
\nvdash	⊬	0
\nwarrow	↖	0
\eqn	≠	0
\equiv	≃	0
\eqcirc	≖	0
\eqcolon	≕	0
\eqslantgtr	⋝	0
\eqslantless	⋜	0
\entails	⊢	0
\en	–	0
\exn	∄	0
\exists	∃	0
\ex	∃	0
\emptyset	∅	0
\empty	∅	0
\em	—	0
\epsilon	ε	0
\eps	ε	0
\euro	€	0
\eta	η	0
\ell	ℓ	0
\iso	≅	0
\in	∈	0
\inn	∉	0
\inter	∩	0
\intercal	⊺	0
\intersection	∩	0
\integral	∫	0
\integral-	⨍	0
\int	ℤ	0
\inv	⁻¹	0
\increment	∆	0
\inf	⊓	0
\infi	⨅	0
\infty	∞	0
\iff	↔	0
\imp	→	0
\imath	ı	0
\iota	ι	0
\=n	≠	0
\==n	≢	0
\===	≣	0
\==>	⟹	0
\==	≡	0
\=:	≕	0
\=o	≗	0
\=>n	⇏	0
\=>	⇒	0
\~n	≁	0
\~~n	≉	0
\~~~	≋	0
\~~-	≊	0
\~~	≈	0
\~-n	≄	0
\~-	≃	0
\~=n	≇	0
\~=	≅	0
\homotopy	∼	0
\hom	⟶	0
\hori	ϩ	0
\hookleftarrow	↩	0
\hookrightarrow	↪	0
\hryvnia	₴	0
\heta	ͱ	0
\heartsuit	♥	0
\hbar	ℏ	0
\:~	∻	0
\:=	≔	0
\::-	∺	0
\::	∷	0
\-~	≂	0
\-|	⊣	0
\-1	⁻¹	0
\^-1	⁻¹	0
\-2	⁻²	0
\-3	⁻³	0
\-:	∹	0
\->n	↛	0
\->	→	0
\-->	⟶	0
\---	─	0
\--=	═	0
\--_	━	0
\--.	╌	0
\-o	⊸	0
\.=.	≑	0
\.=	≐	0
\.+	∔	0
\.-	∸	0
\...	⋯	0
\(=	≘	0
\(b	⟅	0
\and=	≙	0
\and	∧	0
\an	∧	0
\angle	∠	0
\rightangle	∟	0
\angstrom	Å	0
\all	∀	0
\allf	∀ᶠ	0
\all^f	∀ᶠ	0
\allm	∀ᵐ	0
\all^m	∀ᵐ	0
\alpha	α	0
\aleph	ℵ	0
\aleph0	ℵ₀	0
\asterisk	⁎	0
\ast	∗	0
\asymp	≍	0
\apl	⌶	0
\approxeq	≊	0
\approx	≈	0
\aa	å	0
\ae	æ	0
\austral	₳	0
\afghani	؋	0
\amalg	∐	0
\average	⨍	0
\-int	⨍	0
\or=	≚	0
\ordfeminine	ª	0
\ordmasculine	º	0
\or	∨	0
\oplus	⊕	0
\od	ᵒᵈ	0
\orderdual	ᵒᵈ	0
\addopposite	ᵃᵒᵖ	0
\aop	ᵃᵒᵖ	0
\mulopposite	ᵐᵒᵖ	0
\mop	ᵐᵒᵖ	0
\opposite	ᵒᵖ	0
\op	ᵒᵖ	0
\o+	⊕	0
\o--	⊖	0
\o-	⊝	0
\ox	⊗	0
\o/	⊘	0
\o.	⊙	0
\oo	⊚	0
\o*	∘*	0
\o=	⊜	0
\oe	œ	0
\octagonal	🛑	0
\ohm	Ω	0
\ounce	℥	0
\omega	ω	0
\omicron	ο	0
\ominus	⊖	0
\odot	⊙	0
\oint	∮	0
\oiint	∯	0
\oslash	⊘	0
\otimes	⊗	0
\tensorproduct	⊗	0
\pitensorproduct	⨂	0
\tensorpower	⨂	0
\pd	∂	0
\*=	≛	0
\t=	≜	0
\tint	∯	0
\transport	▹	0
\trans	▹	0
\triangledown	▿	0
\trianglelefteq	⊴	0
\triangleleft	◃	0
\triangleq	≜	0
\trianglerighteq	⊵	0
\triangleright	▹	0
\triangle	▵	0
\tr	⬝	0
\tb	◂	0
\twoheadleftarrow	↞	0
\twoheadrightarrow	↠	0
\tw	◃	0
\tie	⁀	0
\times	×	0
\theta	θ	0
\therefore	∴	0
\thickapprox	≈	0
\thicksim	∼	0
\telephone	℡	0
\tenge	₸	0
\textmusicalnote	♪	0
\textmu	µ	0
\textfractionsolidus	⁄	0
\textbaht	฿	0
\textdied	✝	0
\textdiscount	⁒	0
\textcolonmonetary	₡	0
\textcircledP	℗	0
\textwon	₩	0
\textnaira	₦	0
\textnumero	№	0
\textpeso	₱	0
\textpertenthousand	‱	0
\textlira	₤	0
\textlquill	⁅	0
\textrecipe	℞	0
\textreferencemark	※	0
\textrquill	⁆	0
\textinterrobang	‽	0
\textestimated	℮	0
\textopenbullet	◦	0
\tugrik	₮	0
\tau	τ	0
\top	⊤	0
\to	→	0
\to0	→₀	0
\r0	→₀	0
\to_0	→₀	0
\r_0	→₀	0
\finsupp	→₀	0
\to1	→₁	0
\r1	→₁	0
\to_1	→₁	0
\r_1	→₁	0
\l1	→₁	0
\to1s	→₁ₛ	0
\r1s	→₁ₛ	0
\to_1s	→₁ₛ	0
\r_1s	→₁ₛ	0
\l1simplefunc	→₁ₛ	0
\toa	→ₐ	0
\ra	→ₐ	0
\to_a	→ₐ	0
\r_a	→ₐ	0
\alghom	→ₐ	0
\tob	→ᵇ	0
\rb	→ᵇ	0
\to^b	→ᵇ	0
\r^b	→ᵇ	0
\boundedcontinuousfunction	→ᵇ	0
\tol	→ₗ	0
\rl	→ₗ	0
\to_l	→ₗ	0
\r_l	→ₗ	0
\linearmap	→ₗ	0
\tom	→ₘ	0
\rm	→ₘ	0
\to_m	→ₘ	0
\r_m	→ₘ	0
\aeeqfun	→ₘ	0
\rp	→ₚ	0
\to_p	→ₚ	0
\r_p	→ₚ	0
\dfinsupp	→ₚ	0
\tos	→ₛ	0
\rs	→ₛ	0
\to_s	→ₛ	0
\r_s	→ₛ	0
\simplefunc	→ₛ	0
\heyting	⇨	0
\himp	⇨	0
\hnot	￢	0
\covers	⋖	0
\covby	⋖	0
\wcovby	⩿	0
\wcovers	⩿	0
\def=	≝	0
\defs	≙	0
\degree	°	0
\dei	ϯ	0
\delta	δ	0
\doteqdot	≑	0
\doteq	≐	0
\dotplus	∔	0
\dotsquare	⊡	0
\dot	⬝	0
\dong	₫	0
\downarrow	↓	0
\downdownarrows	⇊	0
\downleftharpoon	⇃	0
\downrightharpoon	⇂	0
\dr-	↘	0
\dr=	⇘	0
\drachma	₯	0
\dr	↘	0
\dl-	↙	0
\dl=	⇙	0
\dl	↙	0
\d-2	⇊	0
\d-u-	⇵	0
\d-|	↧	0
\d-	↓	0
\d==	⟱	0
\d=	⇓	0
\dd-	↡	0
\ddagger	‡	0
\ddag	‡	0
\ddots	⋱	0
\dz	↯	0
\dib	◆	0
\diw	◇	0
\di.	◈	0
\die	⚀	0
\division	÷	0
\divideontimes	⋇	0
\div	÷	0
\diameter	⌀	0
\diamondsuit	♢	0
\diamond	⋄	0
\digamma	ϝ	0
\di	◆	0
\dagger	†	0
\dag	†	0
\daleth	ℸ	0
\dashv	⊣	0
\dh	ð	0
\dvd	∣	0
\m=	≞	0
\meet	⊓	0
\member	∈	0
\mem	∈	0
\measuredangle	∡	0
\mapsto	↦	0
\male	♂	0
\maltese	✠	0
\manat	₼	0
\mathscr{I}	ℐ	0
\minus	−	0
\mill	₥	0
\micro	µ	0
\mid	∣	0
\multiplication	×	0
\multimap	⊸	0
\mho	℧	0
\models	⊧	0
\mp	∓	0
\?=	≟	0
\??	⁇	0
\?!	‽	0
\prohibited	🛇	0
\prod	∏	0
\propto	∝	0
\precapprox	≾	0
\preceq	≼	0
\precnapprox	⋨	0
\precnsim	⋨	0
\precsim	≾	0
\prec	≺	0
\preim	⁻¹'	0
\preimage	⁻¹'	0
\prime	′	0
\pr	↣	0
\powerset	𝒫	0
\pounds	£	0
\pound	£	0
\pab	▰	0
\paw	▱	0
\partnership	㉐	0
\partial	∂	0
\paragraph	¶	0
\parallel	∥	0
\pa	▰	0
\pm	±	0
\perp	⟂	0
\^perp	ᗮ	0
\permil	‰	0
\per	⅌	0
\peso	₱	0
\peseta	₧	0
\pilcrow	¶	0
\pitchfork	⋔	0
\psi	ψ	0
\phi	φ	0
\leqn	≰	0
\leqq	≦	0
\leqslant	≤	0
\leq	≤	0
\len	≰	0
\leadsto	↝	0
\leftarrowtail	↢	0
\leftarrow	←	0
\leftharpoondown	↽	0
\leftharpoonup	↼	0
\leftleftarrows	⇇	0
\leftrightarrows	⇆	0
\leftrightarrow	↔	0
\leftrightharpoons	⇋	0
\leftrightsquigarrow	↭	0
\leftthreetimes	⋋	0
\lessapprox	≲	0
\lessdot	⋖	0
\lesseqgtr	⋚	0
\lesseqqgtr	⋚	0
\lessgtr	≶	0
\lesssim	≲	0
\le	≤	0
\lub	⊔	0
\lr--	⟷	0
\lr-n	↮	0
\lr-	↔	0
\lr=n	⇎	0
\lr=	⇔	0
\lr~	↭	0
\lrcorner	⌟	0
\lr	↔	0
\l-2	⇇	0
\l-r-	⇆	0
\l--	⟵	0
\l-n	↚	0
\l-|	↤	0
\l->	↢	0
\l-	←	0
\l==	⇚	0
\l=n	⇍	0
\l=	⇐	0
\l~	↜	0
\ll-	↞	0
\llcorner	⌞	0
\llbracket	〚	0
\ll	≪	0
\lbag	⟅	0
\lambda	λ	0
\lamda	λ	0
\lam	λ	0
\lari	₾	0
\langle	⟨	0
\lira	₤	0
\lceil	⌈	0
\ldots	…	0
\ldq	“	0
\ldata	《	0
\lfloor	⌊	0
\lf	⧏	0
\<|	⧏	0
\lhd	◁	0
\lnapprox	⋦	0
\lneqq	≨	0
\lneq	≨	0
\lnsim	⋦	0
\lnot	¬	0
\longleftarrow	⟵	0
\longleftrightarrow	⟷	0
\longrightarrow	⟶	0
\looparrowleft	↫	0
\looparrowright	↬	0
\lozenge	✧	0
\lq	‘	0
\ltimes	⋉	0
\lvertneqq	≨	0
\geqn	≱	0
\geqq	≧	0
\geqslant	≥	0
\geq	≥	0
\gen	≱	0
\gets	←	0
\ge	≥	0
\glb	⊓	0
\glqq	„	0
\glq	‚	0
\guarani	₲	0
\gangia	ϫ	0
\gamma	γ	0
\ggg	⋙	0
\gg	≫	0
\gimel	ℷ	0
\gnapprox	⋧	0
\gneqq	≩	0
\gneq	≩	0
\gnsim	⋧	0
\gtrapprox	≳	0
\gtrdot	⋗	0
\gtreqless	⋛	0
\gtreqqless	⋛	0
\gtrless	≷	0
\gtrsim	≳	0
\gvertneqq	≩	0
\grqq	“	0
\grq	‘	0
\<=n	≰	0
\<=>n	⇎	0
\<=>	⇔	0
\<=	≤	0
\<n	≮	0
\<~nn	≴	0
\<~n	⋦	0
\<~	≲	0
\<:	⋖	0
\:>	⋗	0
\<->n	↮	0
\<->	↔	0
\<-->	⟷	0
\<--	⟵	0
\<-n	↚	0
\<-	←	0
\<<	⟪	0
\>=n	≱	0
\>=	≥	0
\>n	≯	0
\>~nn	≵	0
\>~n	⋧	0
\>~	≳	0
\>>	⟫	0
\root	√	0
\scissor	✂	0
\ssubn	⊄	0
\ssub	⊂	0
\ssupn	⊅	0
\ssup	⊃	0
\ssqub	⊏	0
\ssqup	⊐	0
\ss	⊆	0
\subn	⊈	0
\subseteqq	⊆	0
\subseteq	⊆	0
\subsetneqq	⊊	0
\subsetneq	⊊	0
\subset	⊆	0
\ssubset	⊂	0
\sub	⊆	0
\supn	⊉	0
\supseteqq	⊇	0
\supseteq	⊇	0
\supsetneqq	⊋	0
\supsetneq	⊋	0
\supset	⊇	0
\ssupset	⊃	0
\sUnion	⋃₀	0
\sInter	⋂₀	0
\sup	⊔	0
\supr	⨆	0
\surd3	∛	0
\surd4	∜	0
\surd	√	0
\succapprox	≿	0
\succcurlyeq	≽	0
\succeq	≽	0
\succnapprox	⋩	0
\succnsim	⋩	0
\succsim	≿	0
\succ	≻	0
\sum	∑	0
\specializes	⤳	0
\~>	⤳	0
\squbn	⋢	0
\squb	⊑	0
\squpn	⋣	0
\squp	⊒	0
\square	□	0
\squigarrowright	⇝	0
\sqb	■	0
\sqw	□	0
\sq.	▣	0
\sqo	▢	0
\sqcap	⊓	0
\sqcup	⊔	0
\sqrt	√	0
\sqsubseteq	⊑	0
\sqsubset	⊏	0
\sqsupseteq	⊒	0
\sqsupset	⊐	0
\sq	◾	0
\sy	⁻¹	0
\symmdiff	∆	0
\st4	✦	0
\st6	✶	0
\st8	✴	0
\st12	✹	0
\stigma	ϛ	0
\star	⋆	0
\straightphi	φ	0
\st	⋆	0
\spesmilo	₷	0
\span	∙	0
\spadesuit	♠	0
\sphericalangle	∢	0
\section	§	0
\searrow	↘	0
\setminus	\	0
\san	ϻ	0
\sampi	ϡ	0
\shortmid	∣	0
\sho	ϸ	0
\shima	ϭ	0
\shei	ϣ	0
\sharp	♯	0
\sigma	σ	0
\simeq	≃	0
\sim	∼	0
\sbs	﹨	0
\smallamalg	∐	0
\smallsetminus	∖	0
\smallsmile	⌣	0
\smile	⌣	0
\smul	•	0
\swarrow	↙	0
\Tr	◀	0
\Tb	◀	0
\Tw	◁	0
\Tau	Τ	0
\Theta	Θ	0
\TH	Þ	0
\union	∪	0
\undertie	‿	0
\uncertainty	⯑	0
\un	∪	0
\u+	⊎	0
\u.	⊍	0
\ud-|	↨	0
\ud-	↕	0
\ud=	⇕	0
\ud	↕	0
\ul-	↖	0
\ul=	⇖	0
\ulcorner	⌜	0
\ul	↖	0
\ur-	↗	0
\ur=	⇗	0
\urcorner	⌝	0
\ur	↗	0
\u-2	⇈	0
\u-d-	⇅	0
\u-|	↥	0
\u-	↑	0
\u==	⟰	0
\u=	⇑	0
\uu-	↟	0
\upsilon	υ	0
\uparrow	↑	0
\updownarrow	↕	0
\upleftharpoon	↿	0
\uplus	⊎	0
\uprightharpoon	↾	0
\upuparrows	⇈	0
\And	⋀	0
\AA	Å	0
\AE	Æ	0
\Alpha	Α	0
\Or	⋁	0
\O+	⨁	0
\directsum	⨁	0
\Ox	⨂	0
\O.	⨀	0
\O*	⍟	0
\OE	Œ	0
\Omega	Ω	0
\Omicron	Ο	0
\Int	ℤ	0
\Inter	⋂	0
\bInter	⋂	0
\Iota	Ι	0
\Im	ℑ	0
\Un	⋃	0
\Union	⋃	0
\bUnion	⋃	0
\U+	⨄	0
\U.	⨃	0
\Upsilon	Υ	0
\Uparrow	⇑	0
\Updownarrow	⇕	0
\Gl-	ƛ	0
\Gl	λ	0
\Gangia	Ϫ	0
\Gamma	Γ	0
\Glb	⨅	0
\Ga	α	0
\GA	Α	0
\Gb	β	0
\GB	Β	0
\Gg	γ	0
\GG	Γ	0
\Gd	δ	0
\GD	Δ	0
\Ge	ε	0
\GE	Ε	0
\Gz	ζ	0
\GZ	Ζ	0
\Gth	θ	0
\Gt	τ	0
\GTH	Θ	0
\GT	Τ	0
\Gi	ι	0
\GI	Ι	0
\Gk	κ	0
\GK	Κ	0
\GL	Λ	0
\Gm	μ	0
\GM	Μ	0
\Gn	ν	0
\GN	Ν	0
\Gx	ξ	0
\GX	Ξ	0
\Gr	ρ	0
\GR	Ρ	0
\Gs	σ	0
\GS	Σ	0
\Gu	υ	0
\GU	Υ	0
\Gf	φ	0
\GF	Φ	0
\Gc	χ	0
\GC	Χ	0
\Gp	ψ	0
\GP	Ψ	0
\Go	ω	0
\GO	Ω	0
\Inf	⨅	0
\Join	⨆	0
\Lub	⨆	0
\Lambda	Λ	0
\Lamda	Λ	0
\Leftarrow	⇐	0
\Leftrightarrow	⇔	0
\Letter	✉	0
\Lleftarrow	⇚	0
\Ll	⋘	0
\Longleftarrow	⇐	0
\Longleftrightarrow	⇔	0
\Longrightarrow	⇒	0
\Meet	⨅	0
\Sup	⨆	0
\Sqcap	⨅	0
\Sqcup	⨆	0
\Lsh	↰	0
\|-n	⊬	0
\|-	⊢	0
\|=n	⊭	0
\|=	⊨	0
\|->	↦	0
\|=>	⇰	0
\||-n	⊮	0
\||-	⊩	0
\||=n	⊯	0
\||=	⊫	0
\|||-	⊪	0
\||	‖	0
\fuzzy	‖	0
\|n	∤	0
\Com	ℂ	0
\Chi	Χ	0
\Cap	⋒	0
\Cup	⋓	0
\cul	⌜	0
\cuL	⌈	0
\currency	¤	0
\curlyeqprec	⋞	0
\curlyeqsucc	⋟	0
\curlypreceq	≼	0
\curlyvee	⋎	0
\curlywedge	⋏	0
\curvearrowleft	↶	0
\curvearrowright	↷	0
\cur	⌝	0
\cuR	⌉	0
\cup	∪	0
\cu	⌜	0
\cll	⌞	0
\clL	⌊	0
\clr	⌟	0
\clR	⌋	0
\clubsuit	♣	0
\cl	⌞	0
\construction	🚧	0
\cong	≅	0
\con	⬝	0
\compl	ᶜ	0
\complement	ᶜ	0
\complementprefix	∁	0
\Complement	∁	0
\comp	∘	0
\com	ℂ	0
\coloneq	≔	0
\colon	₡	0
\copyright	©	0
\cdots	⋯	0
\cdot	⬝	0
\cib	●	0
\ciw	○	0
\ci..	◌	0
\ci.	◎	0
\ciO	◯	0
\circeq	≗	0
\circlearrowleft	↺	0
\circlearrowright	↻	0
\circledR	®	0
\circledS	Ⓢ	0
\circledast	⊛	0
\circledcirc	⊚	0
\circleddash	⊝	0
\circ	∘	0
\ci	●	0
\centerdot	·	0
\cent	¢	0
\cedi	₵	0
\celsius	℃	0
\ce	ȩ	0
\checkmark	✓	0
\chi	χ	0
\cruzeiro	₢	0
\caution	☡	0
\cap	∩	0
\qed	∎	0
\quad	 	0
\quot	⧸	0
\bigsolidus	⧸	0
\/	⧸	0
\+ 	⊹	0
\b+	⊞	0
\b-	⊟	0
\bx	⊠	0
\b.	⊡	0
\bn	ℕ	0
\bz	ℤ	0
\bq	ℚ	0
\brokenbar	¦	0
\br	ℝ	0
\bc	ℂ	0
\bp	ℙ	0
\bb	𝔹	0
\bsum	⅀	0
\b0	𝟘	0
\b1	𝟙	0
\b2	𝟚	0
\b3	𝟛	0
\b4	𝟜	0
\b5	𝟝	0
\b6	𝟞	0
\b7	𝟟	0
\b8	𝟠	0
\b9	𝟡	0
\sb0	𝟬	0
\sb1	𝟭	0
\sb2	𝟮	0
\sb3	𝟯	0
\sb4	𝟰	0
\sb5	𝟱	0
\sb6	𝟲	0
\sb7	𝟳	0
\sb8	𝟴	0
\sb9	𝟵	0
\bub	•	0
\buw	◦	0
\but	‣	0
\bumpeq	≏	0
\bu	•	0
\biohazard	☣	0
\bihimp	⇔	0
\bigcap	⋂	0
\bigcirc	◯	0
\bigcoprod	∐	0
\bigcup	⋃	0
\bigglb	⨅	0
\biginf	⨅	0
\bigjoin	⨆	0
\biglub	⨆	0
\bigmeet	⨅	0
\bigsqcap	⨅	0
\bigsqcup	⨆	0
\bigstar	★	0
\bigsup	⨆	0
\bigtriangledown	▽	0
\bigtriangleup	△	0
\bigvee	⋁	0
\bigwedge	⋀	0
\beta	β	0
\beth	ℶ	0
\between	≬	0
\because	∵	0
\backcong	≌	0
\backepsilon	∍	0
\backprime	‵	0
\backsimeq	⋍	0
\backsim	∽	0
\barwedge	⊼	0
\blacklozenge	✦	0
\blacksquare	▪	0
\blacksmiley	☻	0
\blacktriangledown	▾	0
\blacktriangleleft	◂	0
\blacktriangleright	▸	0
\blacktriangle	▴	0
\bot	⊥	0
\^bot	ᗮ	0
\bowtie	⋈	0
\boxminus	⊟	0
\boxmid	◫	0
\hcomp	◫	0
\boxplus	⊞	0
\boxtimes	⊠	0
\join	⊔	0
\r-2	⇉	0
\r-3	⇶	0
\r-l-	⇄	0
\r--	⟶	0
\r-n	↛	0
\r-|	↦	0
\r->	↣	0
\r-o	⊸	0
\r-	→	0
\r==	⇛	0
\r=n	⇏	0
\r=	⇒	0
\r~	↝	0
\rr-	↠	0
\reb	▬	0
\rew	▭	0
\real	ℝ	0
\registered	®	0
\re	▬	0
\rbag	⟆	0
\rat	ℚ	0
\radioactive	☢	0
\rrbracket	〛	0
\rangle	⟩	0
\rq	’	0
\rightarrowtail	↣	0
\rightarrow	→	0
\rightharpoondown	⇁	0
\rightharpoonup	⇀	0
\rightleftarrows	⇄	0
\rightleftharpoons	⇌	0
\rightrightarrows	⇉	0
\rightthreetimes	⋌	0
\risingdotseq	≓	0
\ruble	₽	0
\rupee	₨	0
\rho	ρ	0
\rhd	▷	0
\rceil	⌉	0
\rfloor	⌋	0
\rtimes	⋊	0
\rdq	”	0
\rdata	》	0
\functor	⥤	0
\fun	λ	0
\f<<	«	0
\f>>	»	0
\f<	‹	0
\f>	›	0
\finprod	∏ᶠ	0
\finsum	∑ᶠ	0
\frac12	½	0
\frac13	⅓	0
\frac14	¼	0
\frac15	⅕	0
\frac16	⅙	0
\frac18	⅛	0
\frac1	⅟	0
\frac23	⅔	0
\frac25	⅖	0
\frac34	¾	0
\frac35	⅗	0
\frac38	⅜	0
\frac45	⅘	0
\frac56	⅚	0
\frac58	⅝	0
\frac78	⅞	0
\frac	¼	0
\frown	⌢	0
\frqq	»	0
\frq	›	0
\female	♀	0
\fei	ϥ	0
\facsimile	℻	0
\fallingdotseq	≒	0
\flat	♭	0
\flqq	«	0
\flq	‹	0
\forall	∀	0
\)b	⟆	0
\[[	⟦	0
\]]	⟧	0
\{{	⦃	0
\}}	⦄	0
\((	⸨	0
\))	⸩	0
\([	⟮	0
\])	⟯	0
\Xi	Ξ	0
\Nat	ℕ	0
\Nu	Ν	0
\Zeta	Ζ	0
\Rat	ℚ	0
\Real	ℝ	0
\Re	ℜ	0
\Rho	Ρ	0
\Rightarrow	⇒	0
\Rrightarrow	⇛	0
\Rsh	↱	0
\Fei	Ϥ	0
\Frowny	☹	0
\Hori	Ϩ	0
\Heta	Ͱ	0
\Khei	Ϧ	0
\Koppa	Ϟ	0
\Kappa	Κ	0
\^a	ᵃ	0
\^b	ᵇ	0
\^c	ᶜ	0
\^d	ᵈ	0
\^e	ᵉ	0
\^f	ᶠ	0
\^g	ᵍ	0
\^h	ʰ	0
\^i	ⁱ	0
\^j	ʲ	0
\^k	ᵏ	0
\^l	ˡ	0
\^m	ᵐ	0
\^n	ⁿ	0
\^o	ᵒ	0
\^p	ᵖ	0
\^r	ʳ	0
\^s	ˢ	0
\^t	ᵗ	0
\^u	ᵘ	0
\^v	ᵛ	0
\^w	ʷ	0
\^x	ˣ	0
\^y	ʸ	0
\^z	ᶻ	0
\^A	ᴬ	0
\^B	ᴮ	0
\^D	ᴰ	0
\^E	ᴱ	0
\^G	ᴳ	0
\^H	ᴴ	0
\^I	ᴵ	0
\^J	ᴶ	0
\^K	ᴷ	0
\^L	ᴸ	0
\^M	ᴹ	0
\^N	ᴺ	0
\^O	ᴼ	0
\^P	ᴾ	0
\^R	ᴿ	0
\^T	ᵀ	0
\^U	ᵁ	0
\^V	ⱽ	0
\^W	ᵂ	0
\^0	⁰	0
\^1	¹	0
\^2	²	0
\^3	³	0
\^4	⁴	0
\^5	⁵	0
\^6	⁶	0
\^7	⁷	0
\^8	⁸	0
\^9	⁹	0
\^)	⁾	0
\^(	⁽	0
\^=	⁼	0
\^+	⁺	0
\^o_	º	0
\^-	⁻	0
\^a_	ª	0
\^uhook	ꭟ	0
\^ubar	ᶶ	0
\^upsilon	ᶷ	0
\^ltilde	ꭞ	0
\^ls	ꭝ	0
\^lhook	ᶪ	0
\^lretroflexhook	ᶩ	0
\^oe	ꟹ	0
\^heng	ꭜ	0
\^hhook	ʱ	0
\^hwithhook	ʱ	0
\^Hstroke	ꟸ	0
\^theta	ᶿ	0
\^turnedv	ᶺ	0
\^turnedmleg	ᶭ	0
\^turnedm	ᵚ	0
\^turnedh	ᶣ	0
\^turnedalpha	ᶛ	0
\^turnedae	ᵆ	0
\^turneda	ᵄ	0
\^turnedi	ᵎ	0
\^turnede	ᵌ	0
\^turnedrhook	ʵ	0
\^turnedrwithhook	ʵ	0
\^turnedr	ʴ	0
\^twithpalatalhook	ᶵ	0
\^otop	ᵔ	0
\^ezh	ᶾ	0
\^esh	ᶴ	0
\^eth	ᶞ	0
\^eng	ᵑ	0
\^zcurl	ᶽ	0
\^zretroflexhook	ᶼ	0
\^vhook	ᶹ	0
\^Ismall	ᶦ	0
\^Lsmall	ᶫ	0
\^Nsmall	ᶰ	0
\^Usmall	ᶸ	0
\^Istroke	ᶧ	0
\^Rinverted	ʶ	0
\^ccurl	ᶝ	0
\^chi	ᵡ	0
\^shook	ᶳ	0
\^gscript	ᶢ	0
\^schwa	ᵊ	0
\^usideways	ᵙ	0
\^phi	ᶲ	0
\^obarred	ᶱ	0
\^beta	ᵝ	0
\^obottom	ᵕ	0
\^nretroflexhook	ᶯ	0
\^nlefthook	ᶮ	0
\^mhook	ᶬ	0
\^jtail	ᶨ	0
\^iota	ᶥ	0
\^istroke	ᶤ	0
\^ereversedopen	ᶟ	0
\^stop	ˤ	0
\^varphi	ᵠ	0
\^vargamma	ᵞ	0
\^gamma	ˠ	0
\^ain	ᵜ	0
\^alpha	ᵅ	0
\^oopen	ᵓ	0
\^eopen	ᵋ	0
\^Ou	ᴽ	0
\^Nreversed	ᴻ	0
\^Ereversed	ᴲ	0
\^Bbarred	ᴯ	0
\^Ae	ᴭ	0
\^SM	℠	0
\^TEL	℡	0
\^TM	™	0
\_a	ₐ	0
\_e	ₑ	0
\_h	ₕ	0
\_i	ᵢ	0
\_j	ⱼ	0
\_k	ₖ	0
\_l	ₗ	0
\_m	ₘ	0
\_n	ₙ	0
\_o	ₒ	0
\_p	ₚ	0
\_r	ᵣ	0
\_s	ₛ	0
\_t	ₜ	0
\_u	ᵤ	0
\_v	ᵥ	0
\_x	ₓ	0
\_0	₀	0
\_1	₁	0
\_2	₂	0
\_3	₃	0
\_4	₄	0
\_5	₅	0
\_6	₆	0
\_7	₇	0
\_8	₈	0
\_9	₉	0
\_)	₎	0
\_(	₍	0
\_=	₌	0
\_+	₊	0
\_--	̲	0
\_-	₋	0
\!!	‼	0
\!?	⁉	0
\San	Ϻ	0
\Sampi	Ϡ	0
\Sho	Ϸ	0
\Shima	Ϭ	0
\Shei	Ϣ	0
\Stigma	Ϛ	0
\Sigma	Σ	0
\Subset	⋐	0
\Supset	⋑	0
\Smiley	☺	0
\Psi	Ψ	0
\Phi	Φ	0
\Pi	Π	0
\Pi0	Π₀	0
\P0	Π₀	0
\Pi_0	Π₀	0
\P_0	Π₀	0
\bfA	𝐀	0
\bfB	𝐁	0
\bfC	𝐂	0
\bfD	𝐃	0
\bfE	𝐄	0
\bfF	𝐅	0
\bfG	𝐆	0
\bfH	𝐇	0
\bfI	𝐈	0
\bfJ	𝐉	0
\bfK	𝐊	0
\bfL	𝐋	0
\bfM	𝐌	0
\bfN	𝐍	0
\bfO	𝐎	0
\bfP	𝐏	0
\bfQ	𝐐	0
\bfR	𝐑	0
\bfS	𝐒	0
\bfT	𝐓	0
\bfU	𝐔	0
\bfV	𝐕	0
\bfW	𝐖	0
\bfX	𝐗	0
\bfY	𝐘	0
\bfZ	𝐙	0
\bfa	𝐚	0
\bfb	𝐛	0
\bfc	𝐜	0
\bfd	𝐝	0
\bfe	𝐞	0
\bff	𝐟	0
\bfg	𝐠	0
\bfh	𝐡	0
\bfi	𝐢	0
\bfj	𝐣	0
\bfk	𝐤	0
\bfl	𝐥	0
\bfm	𝐦	0
\bfn	𝐧	0
\bfo	𝐨	0
\bfp	𝐩	0
\bfq	𝐪	0
\bfr	𝐫	0
\bfs	𝐬	0
\bft	𝐭	0
\bfu	𝐮	0
\bfv	𝐯	0
\bfw	𝐰	0
\bfx	𝐱	0
\bfy	𝐲	0
\bfz	𝐳	0
\MiA	𝐴	0
\MiB	𝐵	0
\MiC	𝐶	0
\MiD	𝐷	0
\MiE	𝐸	0
\MiF	𝐹	0
\MiG	𝐺	0
\MiH	𝐻	0
\MiI	𝐼	0
\MiJ	𝐽	0
\MiK	𝐾	0
\MiL	𝐿	0
\MiM	𝑀	0
\MiN	𝑁	0
\MiO	𝑂	0
\MiP	𝑃	0
\MiQ	𝑄	0
\MiR	𝑅	0
\MiS	𝑆	0
\MiT	𝑇	0
\MiU	𝑈	0
\MiV	𝑉	0
\MiW	𝑊	0
\MiX	𝑋	0
\MiY	𝑌	0
\MiZ	𝑍	0
\Mia	𝑎	0
\Mib	𝑏	0
\Mic	𝑐	0
\Mid	𝑑	0
\Mie	𝑒	0
\Mif	𝑓	0
\Mig	𝑔	0
\Mii	𝑖	0
\Mij	𝑗	0
\Mik	𝑘	0
\Mil	𝑙	0
\Mim	𝑚	0
\Min	𝑛	0
\Mio	𝑜	0
\Mip	𝑝	0
\Miq	𝑞	0
\Mir	𝑟	0
\Mis	𝑠	0
\Mit	𝑡	0
\Miu	𝑢	0
\Miv	𝑣	0
\Miw	𝑤	0
\Mix	𝑥	0
\Miy	𝑦	0
\Miz	𝑧	0
\MIA	𝑨	0
\MIB	𝑩	0
\MIC	𝑪	0
\MID	𝑫	0
\MIE	𝑬	0
\MIF	𝑭	0
\MIG	𝑮	0
\MIH	𝑯	0
\MII	𝑰	0
\MIJ	𝑱	0
\MIK	𝑲	0
\MIL	𝑳	0
\MIM	𝑴	0
\MIN	𝑵	0
\MIO	𝑶	0
\MIP	𝑷	0
\MIQ	𝑸	0
\MIR	𝑹	0
\MIS	𝑺	0
\MIT	𝑻	0
\MIU	𝑼	0
\MIV	𝑽	0
\MIW	𝑾	0
\MIX	𝑿	0
\MIY	𝒀	0
\MIZ	𝒁	0
\MIa	𝒂	0
\MIb	𝒃	0
\MIc	𝒄	0
\MId	𝒅	0
\MIe	𝒆	0
\MIf	𝒇	0
\MIg	𝒈	0
\MIh	𝒉	0
\MIi	𝒊	0
\MIj	𝒋	0
\MIk	𝒌	0
\MIl	𝒍	0
\MIm	𝒎	0
\MIn	𝒏	0
\MIo	𝒐	0
\MIp	𝒑	0
\MIq	𝒒	0
\MIr	𝒓	0
\MIs	𝒔	0
\MIt	𝒕	0
\MIu	𝒖	0
\MIv	𝒗	0
\MIw	𝒘	0
\MIx	𝒙	0
\MIy	𝒚	0
\MIz	𝒛	0
\McA	𝒜	0
\McB	ℬ	0
\McC	𝒞	0
\McD	𝒟	0
\McE	ℰ	0
\McF	ℱ	0
\McG	𝒢	0
\McH	ℋ	0
\McI	ℐ	0
\McJ	𝒥	0
\McK	𝒦	0
\McL	ℒ	0
\McM	ℳ	0
\McN	𝒩	0
\McO	𝒪	0
\McP	𝒫	0
\McQ	𝒬	0
\McR	ℛ	0
\McS	𝒮	0
\McT	𝒯	0
\McU	𝒰	0
\McV	𝒱	0
\McW	𝒲	0
\McX	𝒳	0
\McY	𝒴	0
\McZ	𝒵	0
\Mca	𝒶	0
\Mcb	𝒷	0
\Mcc	𝒸	0
\Mcd	𝒹	0
\Mce	ℯ	0
\Mcf	𝒻	0
\Mcg	ℊ	0
\Mch	𝒽	0
\Mci	𝒾	0
\Mcj	𝒿	0
\Mck	𝓀	0
\Mcl	𝓁	0
\Mcm	𝓂	0
\Mcn	𝓃	0
\Mco	ℴ	0
\Mcp	𝓅	0
\Mcq	𝓆	0
\Mcr	𝓇	0
\Mcs	𝓈	0
\Mct	𝓉	0
\Mcu	𝓊	0
\Mcv	𝓋	0
\Mcw	𝓌	0
\Mcx	𝓍	0
\Mcy	𝓎	0
\Mcz	𝓏	0
\MCA	𝓐	0
\MCB	𝓑	0
\MCC	𝓒	0
\MCD	𝓓	0
\MCE	𝓔	0
\MCF	𝓕	0
\MCG	𝓖	0
\MCH	𝓗	0
\MCI	𝓘	0
\MCJ	𝓙	0
\MCK	𝓚	0
\MCL	𝓛	0
\MCM	𝓜	0
\MCN	𝓝	0
\MCO	𝓞	0
\MCP	𝓟	0
\MCQ	𝓠	0
\MCR	𝓡	0
\MCS	𝓢	0
\MCT	𝓣	0
\MCU	𝓤	0
\MCV	𝓥	0
\MCW	𝓦	0
\MCX	𝓧	0
\MCY	𝓨	0
\MCZ	𝓩	0
\MCa	𝓪	0
\MCb	𝓫	0
\MCc	𝓬	0
\MCd	𝓭	0
\MCe	𝓮	0
\MCf	𝓯	0
\MCg	𝓰	0
\MCh	𝓱	0
\MCi	𝓲	0
\MCj	𝓳	0
\MCk	𝓴	0
\MCl	𝓵	0
\MCm	𝓶	0
\MCn	𝓷	0
\MCo	𝓸	0
\MCp	𝓹	0
\MCq	𝓺	0
\MCr	𝓻	0
\MCs	𝓼	0
\MCt	𝓽	0
\MCu	𝓾	0
\MCv	𝓿	0
\MCw	𝔀	0
\MCx	𝔁	0
\MCy	𝔂	0
\MCz	𝔃	0
\MfA	𝔄	0
\MfB	𝔅	0
\MfC	ℭ	0
\MfD	𝔇	0
\MfE	𝔈	0
\MfF	𝔉	0
\MfG	𝔊	0
\MfH	ℌ	0
\MfI	ℑ	0
\MfJ	𝔍	0
\MfK	𝔎	0
\MfL	𝔏	0
\MfM	𝔐	0
\MfN	𝔑	0
\MfO	𝔒	0
\MfP	𝔓	0
\MfQ	𝔔	0
\MfR	ℜ	0
\MfS	𝔖	0
\MfT	𝔗	0
\MfU	𝔘	0
\MfV	𝔙	0
\MfW	𝔚	0
\MfX	𝔛	0
\MfY	𝔜	0
\MfZ	ℨ	0
\Mfa	𝔞	0
\Mfb	𝔟	0
\Mfc	𝔠	0
\Mfd	𝔡	0
\Mfe	𝔢	0
\Mff	𝔣	0
\Mfg	𝔤	0
\Mfh	𝔥	0
\Mfi	𝔦	0
\Mfj	𝔧	0
\Mfk	𝔨	0
\Mfl	𝔩	0
\Mfm	𝔪	0
\Mfn	𝔫	0
\Mfo	𝔬	0
\Mfp	𝔭	0
\Mfq	𝔮	0
\Mfr	𝔯	0
\Mfs	𝔰	0
\Mft	𝔱	0
\Mfu	𝔲	0
\Mfv	𝔳	0
\Mfw	𝔴	0
\Mfx	𝔵	0
\Mfy	𝔶	0
\Mfz	𝔷	0
\yen	¥	0
\varrho	ϱ	0
\varkappa	ϰ	0
\varkai	ϗ	0
\varnothing	∅	0
\varpi	ϖ	0
\varphi	ϕ	0
\varprime	′	0
\varpropto	∝	0
\vartheta	ϑ	0
\vartriangleleft	⊲	0
\vartriangleright	⊳	0
\varbeta	ϐ	0
\varsigma	ς	0
\veebar	⊻	0
\vee	∨	0
\ve	ě	0
\vE	Ě	0
\vdash	⊢	0
\vdots	⋮	0
\vd	ď	0
\vDash	⊨	0
\vD	Ď	0
\vc	č	0
\vC	Č	0
\koppa	ϟ	0
\kip	₭	0
\ki	į	0
\kI	Į	0
\kelvin	K	0
\kappa	κ	0
\khei	ϧ	0
\warning	⚠	0
\won	₩	0
\wedge	∧	0
\wp	℘	0
\wr	≀	0
\Dei	Ϯ	0
\Delta	Δ	0
\Digamma	Ϝ	0
\Diamond	◇	0
\Downarrow	⇓	0
\DH	Ð	0
\zeta	ζ	0
\Eta	Η	0
\Epsilon	Ε	0
\Beta	Β	0
\Box	□	0
\Bumpeq	≎	0
\bbA	𝔸	0
\bbB	𝔹	0
\bbC	ℂ	0
\bbD	𝔻	0
\bbE	𝔼	0
\bbF	𝔽	0
\bbG	𝔾	0
\bbH	ℍ	0
\bbI	𝕀	0
\bbJ	𝕁	0
\bbK	𝕂	0
\bbL	𝕃	0
\bbM	𝕄	0
\bbN	ℕ	0
\bbO	𝕆	0
\bbP	ℙ	0
\bbQ	ℚ	0
\bbR	ℝ	0
\bbS	𝕊	0
\bbT	𝕋	0
\bbU	𝕌	0
\bbV	𝕍	0
\bbW	𝕎	0
\bbX	𝕏	0
\bbY	𝕐	0
\bbZ	ℤ	0
\bba	𝕒	0
\bbb	𝕓	0
\bbc	𝕔	0
\bbd	𝕕	0
\bbe	𝕖	0
\bbf	𝕗	0
\bbg	𝕘	0
\bbh	𝕙	0
\bbi	𝕚	0
\bbj	𝕛	0
\bbk	𝕜	0
\bbl	𝕝	0
\bbm	𝕞	0
\bbn	𝕟	0
\bbo	𝕠	0
\bbp	𝕡	0
\bbq	𝕢	0
\bbr	𝕣	0
\bbs	𝕤	0
\bbt	𝕥	0
\bbu	𝕦	0
\bbv	𝕧	0
\bbw	𝕨	0
\bbx	𝕩	0
\bby	𝕪	0
\bbz	𝕫	0
\Rge0	ℝ≥0	0
\R>=0	ℝ≥0	0
\nnreal	ℝ≥0	0
\ennreal	ℝ≥0∞	0
\enat	ℕ∞	0
\Zsqrt	ℤ√	0
\zsqrtd	ℤ√	0
\liel	⁅	0
\bracketl	⁅	0
\lier	⁆	0
\[-	⁅	0
\-]	⁆	0
\lsimplex	⦋	0
\rsimplex	⦌	0
\bracketr	⁆	0
\nhds	𝓝	0
\nbhds	𝓝	0
\X	⨯	0
\vectorproduct	⨯	0
\crossproduct	⨯	0
\xs	×ˢ	0
\coprod	⨿	0
\sigmaobj	∐	0
\xf	×ᶠ	0
\exf	∃ᶠ	0
\c[	⦃	0
\c]	⦄	0
\Yot	Ϳ	0
\goal	⊢	0
\Vdash	⊩	0
\Vert	‖	0
\Vvdash	⊪	0
\tiny	⧾	0
\miny	⧿	0
END_TABLE
