Agda mode input method for vscode plugin `generic input method`.

agda-mode.json

[
	{
		"body": "≠",
		"description": "≠",
		"label": "=n"
	},
	{
		"body": "∼",
		"description": "∼",
		"label": "~"
	},
	{
		"body": "≁",
		"description": "≁",
		"label": "~n"
	},
	{
		"body": "≈",
		"description": "≈",
		"label": "~~"
	},
	{
		"body": "≉",
		"description": "≉",
		"label": "~~n"
	},
	{
		"body": "≋",
		"description": "≋",
		"label": "~~~"
	},
	{
		"body": "∻",
		"description": "∻",
		"label": ":~"
	},
	{
		"body": "≃",
		"description": "≃",
		"label": "~-"
	},
	{
		"body": "≄",
		"description": "≄",
		"label": "~-n"
	},
	{
		"body": "≂",
		"description": "≂",
		"label": "-~"
	},
	{
		"body": "≅",
		"description": "≅",
		"label": "~="
	},
	{
		"body": "≇",
		"description": "≇",
		"label": "~=n"
	},
	{
		"body": "≊",
		"description": "≊",
		"label": "~~-"
	},
	{
		"body": "≡",
		"description": "≡",
		"label": "=="
	},
	{
		"body": "≢",
		"description": "≢",
		"label": "==n"
	},
	{
		"body": "≣",
		"description": "≣",
		"label": "==="
	},
	{
		"body": "≐",
		"description": "≐",
		"label": ".="
	},
	{
		"body": "≑",
		"description": "≑",
		"label": ".=."
	},
	{
		"body": "≔",
		"description": "≔",
		"label": ":="
	},
	{
		"body": "≕",
		"description": "≕",
		"label": "=:"
	},
	{
		"body": "≗",
		"description": "≗",
		"label": "=o"
	},
	{
		"body": "≘",
		"description": "≘",
		"label": "(="
	},
	{
		"body": "≙",
		"description": "≙",
		"label": "and="
	},
	{
		"body": "≚",
		"description": "≚",
		"label": "or="
	},
	{
		"body": "≛",
		"description": "≛",
		"label": "*="
	},
	{
		"body": "≜",
		"description": "≜",
		"label": "t="
	},
	{
		"body": "≝",
		"description": "≝",
		"label": "def="
	},
	{
		"body": "≞",
		"description": "≞",
		"label": "m="
	},
	{
		"body": "≟",
		"description": "≟",
		"label": "?="
	},
	{
		"body": "≤",
		"description": "≤",
		"label": "<="
	},
	{
		"body": "≥",
		"description": "≥",
		"label": ">="
	},
	{
		"body": "≰",
		"description": "≰",
		"label": "<=n"
	},
	{
		"body": "≱",
		"description": "≱",
		"label": ">=n"
	},
	{
		"body": "≰",
		"description": "≰",
		"label": "len"
	},
	{
		"body": "≱",
		"description": "≱",
		"label": "gen"
	},
	{
		"body": "≮",
		"description": "≮",
		"label": "<n"
	},
	{
		"body": "≯",
		"description": "≯",
		"label": ">n"
	},
	{
		"body": "≲",
		"description": "≲",
		"label": "<~"
	},
	{
		"body": "≳",
		"description": "≳",
		"label": ">~"
	},
	{
		"body": "⋦",
		"description": "⋦",
		"label": "<~n"
	},
	{
		"body": "⋧",
		"description": "⋧",
		"label": ">~n"
	},
	{
		"body": "≴",
		"description": "≴",
		"label": "<~nn"
	},
	{
		"body": "≵",
		"description": "≵",
		"label": ">~nn"
	},
	{
		"body": "⊂",
		"description": "⊂",
		"label": "sub"
	},
	{
		"body": "⊃",
		"description": "⊃",
		"label": "sup"
	},
	{
		"body": "⊄",
		"description": "⊄",
		"label": "subn"
	},
	{
		"body": "⊅",
		"description": "⊅",
		"label": "supn"
	},
	{
		"body": "⊆",
		"description": "⊆",
		"label": "sub="
	},
	{
		"body": "⊇",
		"description": "⊇",
		"label": "sup="
	},
	{
		"body": "⊈",
		"description": "⊈",
		"label": "sub=n"
	},
	{
		"body": "⊉",
		"description": "⊉",
		"label": "sup=n"
	},
	{
		"body": "⊏",
		"description": "⊏",
		"label": "squb"
	},
	{
		"body": "⊐",
		"description": "⊐",
		"label": "squp"
	},
	{
		"body": "⊑",
		"description": "⊑",
		"label": "squb="
	},
	{
		"body": "⊒",
		"description": "⊒",
		"label": "squp="
	},
	{
		"body": "⋢",
		"description": "⋢",
		"label": "squb=n"
	},
	{
		"body": "⋣",
		"description": "⋣",
		"label": "squp=n"
	},
	{
		"body": "∉",
		"description": "∉",
		"label": "inn"
	},
	{
		"body": "∌",
		"description": "∌",
		"label": "nin"
	},
	{
		"body": "∧",
		"description": "∧",
		"label": "and"
	},
	{
		"body": "∨",
		"description": "∨",
		"label": "or"
	},
	{
		"body": "⋀",
		"description": "⋀",
		"label": "And"
	},
	{
		"body": "⋁",
		"description": "⋁",
		"label": "Or"
	},
	{
		"body": "∩",
		"description": "∩",
		"label": "i"
	},
	{
		"body": "∪",
		"description": "∪",
		"label": "un"
	},
	{
		"body": "⊎",
		"description": "⊎",
		"label": "u+"
	},
	{
		"body": "⊍",
		"description": "⊍",
		"label": "u."
	},
	{
		"body": "⋂",
		"description": "⋂",
		"label": "I"
	},
	{
		"body": "⋃",
		"description": "⋃",
		"label": "Un"
	},
	{
		"body": "⨄",
		"description": "⨄",
		"label": "U+"
	},
	{
		"body": "⨃",
		"description": "⨃",
		"label": "U."
	},
	{
		"body": "⊓",
		"description": "⊓",
		"label": "glb"
	},
	{
		"body": "⊔",
		"description": "⊔",
		"label": "lub"
	},
	{
		"body": "⨅",
		"description": "⨅",
		"label": "Glb"
	},
	{
		"body": "⨆",
		"description": "⨆",
		"label": "Lub"
	},
	{
		"body": "⊢",
		"description": "⊢",
		"label": "|-"
	},
	{
		"body": "⊬",
		"description": "⊬",
		"label": "|-n"
	},
	{
		"body": "⊣",
		"description": "⊣",
		"label": "-|"
	},
	{
		"body": "⊨",
		"description": "⊨",
		"label": "|="
	},
	{
		"body": "⊭",
		"description": "⊭",
		"label": "|=n"
	},
	{
		"body": "⊩",
		"description": "⊩",
		"label": "||-"
	},
	{
		"body": "⊮",
		"description": "⊮",
		"label": "||-n"
	},
	{
		"body": "⊫",
		"description": "⊫",
		"label": "||="
	},
	{
		"body": "⊯",
		"description": "⊯",
		"label": "||=n"
	},
	{
		"body": "⊪",
		"description": "⊪",
		"label": "|||-"
	},
	{
		"body": "∣",
		"description": "∣",
		"label": "|"
	},
	{
		"body": "∤",
		"description": "∤",
		"label": "|n"
	},
	{
		"body": "∥",
		"description": "∥",
		"label": "||"
	},
	{
		"body": "∦",
		"description": "∦",
		"label": "||n"
	},
	{
		"body": "∀",
		"description": "∀",
		"label": "all"
	},
	{
		"body": "∃",
		"description": "∃",
		"label": "ex"
	},
	{
		"body": "∄",
		"description": "∄",
		"label": "exn"
	},
	{
		"body": "∅",
		"description": "∅",
		"label": "0"
	},
	{
		"body": "∁",
		"description": "∁",
		"label": "C"
	},
	{
		"body": "⌜",
		"description": "⌜",
		"label": "cul"
	},
	{
		"body": "⌈",
		"description": "⌈",
		"label": "cuL"
	},
	{
		"body": "⌝",
		"description": "⌝",
		"label": "cur"
	},
	{
		"body": "⌉",
		"description": "⌉",
		"label": "cuR"
	},
	{
		"body": "⌞",
		"description": "⌞",
		"label": "cll"
	},
	{
		"body": "⌊",
		"description": "⌊",
		"label": "clL"
	},
	{
		"body": "⌟",
		"description": "⌟",
		"label": "clr"
	},
	{
		"body": "⌋",
		"description": "⌋",
		"label": "clR"
	},
	{
		"body": "∎",
		"description": "∎",
		"label": "qed"
	},
	{
		"body": "×",
		"description": "×",
		"label": "x"
	},
	{
		"body": "∘",
		"description": "∘",
		"label": "o"
	},
	{
		"body": "∘",
		"description": "∘",
		"label": "comp"
	},
	{
		"body": "∙",
		"description": "∙",
		"label": "."
	},
	{
		"body": "⋆",
		"description": "⋆",
		"label": "*"
	},
	{
		"body": "∔",
		"description": "∔",
		"label": ".+"
	},
	{
		"body": "∸",
		"description": "∸",
		"label": ".-"
	},
	{
		"body": "∶",
		"description": "∶",
		"label": ":"
	},
	{
		"body": "∷",
		"description": "∷",
		"label": "::"
	},
	{
		"body": "∺",
		"description": "∺",
		"label": "::-"
	},
	{
		"body": "∹",
		"description": "∹",
		"label": "-:"
	},
	{
		"body": "⊹",
		"description": "⊹",
		"label": "+ "
	},
	{
		"body": "∛",
		"description": "∛",
		"label": "surd3"
	},
	{
		"body": "∜",
		"description": "∜",
		"label": "surd4"
	},
	{
		"body": "∆",
		"description": "∆",
		"label": "increment"
	},
	{
		"body": "∞",
		"description": "∞",
		"label": "inf"
	},
	{
		"body": "⊕",
		"description": "⊕",
		"label": "o+"
	},
	{
		"body": "⊖",
		"description": "⊖",
		"label": "o--"
	},
	{
		"body": "⊗",
		"description": "⊗",
		"label": "ox"
	},
	{
		"body": "⊘",
		"description": "⊘",
		"label": "o/"
	},
	{
		"body": "⊙",
		"description": "⊙",
		"label": "o."
	},
	{
		"body": "⊚",
		"description": "⊚",
		"label": "oo"
	},
	{
		"body": "⊛",
		"description": "⊛",
		"label": "o*"
	},
	{
		"body": "⊜",
		"description": "⊜",
		"label": "o="
	},
	{
		"body": "⊝",
		"description": "⊝",
		"label": "o-"
	},
	{
		"body": "⨁",
		"description": "⨁",
		"label": "O+"
	},
	{
		"body": "⨂",
		"description": "⨂",
		"label": "Ox"
	},
	{
		"body": "⨀",
		"description": "⨀",
		"label": "O."
	},
	{
		"body": "⍟",
		"description": "⍟",
		"label": "O*"
	},
	{
		"body": "⊞",
		"description": "⊞",
		"label": "b+"
	},
	{
		"body": "⊟",
		"description": "⊟",
		"label": "b-"
	},
	{
		"body": "⊠",
		"description": "⊠",
		"label": "bx"
	},
	{
		"body": "⊡",
		"description": "⊡",
		"label": "b."
	},
	{
		"body": "←",
		"description": "←",
		"label": "l-"
	},
	{
		"body": "←",
		"description": "←",
		"label": "<-"
	},
	{
		"body": "⇐",
		"description": "⇐",
		"label": "l="
	},
	{
		"body": "→",
		"description": "→",
		"label": "r-"
	},
	{
		"body": "→",
		"description": "→",
		"label": "->"
	},
	{
		"body": "⇒",
		"description": "⇒",
		"label": "r="
	},
	{
		"body": "⇒",
		"description": "⇒",
		"label": "=>"
	},
	{
		"body": "↑",
		"description": "↑",
		"label": "u-"
	},
	{
		"body": "⇑",
		"description": "⇑",
		"label": "u="
	},
	{
		"body": "↓",
		"description": "↓",
		"label": "d-"
	},
	{
		"body": "⇓",
		"description": "⇓",
		"label": "d="
	},
	{
		"body": "↕",
		"description": "↕",
		"label": "ud-"
	},
	{
		"body": "⇕",
		"description": "⇕",
		"label": "ud="
	},
	{
		"body": "↔",
		"description": "↔",
		"label": "lr-"
	},
	{
		"body": "↔",
		"description": "↔",
		"label": "<->"
	},
	{
		"body": "⇔",
		"description": "⇔",
		"label": "lr="
	},
	{
		"body": "⇔",
		"description": "⇔",
		"label": "<=>"
	},
	{
		"body": "↖",
		"description": "↖",
		"label": "ul-"
	},
	{
		"body": "⇖",
		"description": "⇖",
		"label": "ul="
	},
	{
		"body": "↗",
		"description": "↗",
		"label": "ur-"
	},
	{
		"body": "⇗",
		"description": "⇗",
		"label": "ur="
	},
	{
		"body": "↘",
		"description": "↘",
		"label": "dr-"
	},
	{
		"body": "⇘",
		"description": "⇘",
		"label": "dr="
	},
	{
		"body": "↙",
		"description": "↙",
		"label": "dl-"
	},
	{
		"body": "⇙",
		"description": "⇙",
		"label": "dl="
	},
	{
		"body": "⇚",
		"description": "⇚",
		"label": "l=="
	},
	{
		"body": "⇇",
		"description": "⇇",
		"label": "l-2"
	},
	{
		"body": "⇆",
		"description": "⇆",
		"label": "l-r-"
	},
	{
		"body": "⇛",
		"description": "⇛",
		"label": "r=="
	},
	{
		"body": "⇉",
		"description": "⇉",
		"label": "r-2"
	},
	{
		"body": "⇶",
		"description": "⇶",
		"label": "r-3"
	},
	{
		"body": "⇄",
		"description": "⇄",
		"label": "r-l-"
	},
	{
		"body": "⟰",
		"description": "⟰",
		"label": "u=="
	},
	{
		"body": "⇈",
		"description": "⇈",
		"label": "u-2"
	},
	{
		"body": "⇅",
		"description": "⇅",
		"label": "u-d-"
	},
	{
		"body": "⟱",
		"description": "⟱",
		"label": "d=="
	},
	{
		"body": "⇊",
		"description": "⇊",
		"label": "d-2"
	},
	{
		"body": "⇵",
		"description": "⇵",
		"label": "d-u-"
	},
	{
		"body": "⟵",
		"description": "⟵",
		"label": "l--"
	},
	{
		"body": "⟵",
		"description": "⟵",
		"label": "<--"
	},
	{
		"body": "↜",
		"description": "↜",
		"label": "l~"
	},
	{
		"body": "⇜",
		"description": "⇜",
		"label": "l~~"
	},
	{
		"body": "⟶",
		"description": "⟶",
		"label": "r--"
	},
	{
		"body": "⟶",
		"description": "⟶",
		"label": "-->"
	},
	{
		"body": "↝",
		"description": "↝",
		"label": "r~"
	},
	{
		"body": "⇝",
		"description": "⇝",
		"label": "r~~"
	},
	{
		"body": "⟿",
		"description": "⟿",
		"label": "r~~~"
	},
	{
		"body": "⟷",
		"description": "⟷",
		"label": "lr--"
	},
	{
		"body": "⟷",
		"description": "⟷",
		"label": "<-->"
	},
	{
		"body": "↭",
		"description": "↭",
		"label": "lr~"
	},
	{
		"body": "↚",
		"description": "↚",
		"label": "l-n"
	},
	{
		"body": "↚",
		"description": "↚",
		"label": "<-n"
	},
	{
		"body": "⇍",
		"description": "⇍",
		"label": "l=n"
	},
	{
		"body": "↛",
		"description": "↛",
		"label": "r-n"
	},
	{
		"body": "↛",
		"description": "↛",
		"label": "->n"
	},
	{
		"body": "⇏",
		"description": "⇏",
		"label": "r=n"
	},
	{
		"body": "⇏",
		"description": "⇏",
		"label": "=>n"
	},
	{
		"body": "↮",
		"description": "↮",
		"label": "lr-n"
	},
	{
		"body": "↮",
		"description": "↮",
		"label": "<->n"
	},
	{
		"body": "⇎",
		"description": "⇎",
		"label": "lr=n"
	},
	{
		"body": "⇎",
		"description": "⇎",
		"label": "<=>n"
	},
	{
		"body": "↤",
		"description": "↤",
		"label": "l-|"
	},
	{
		"body": "↞",
		"description": "↞",
		"label": "ll-"
	},
	{
		"body": "↦",
		"description": "↦",
		"label": "r-|"
	},
	{
		"body": "↠",
		"description": "↠",
		"label": "rr-"
	},
	{
		"body": "↥",
		"description": "↥",
		"label": "u-|"
	},
	{
		"body": "↟",
		"description": "↟",
		"label": "uu-"
	},
	{
		"body": "↧",
		"description": "↧",
		"label": "d-|"
	},
	{
		"body": "↡",
		"description": "↡",
		"label": "dd-"
	},
	{
		"body": "↨",
		"description": "↨",
		"label": "ud-|"
	},
	{
		"body": "↢",
		"description": "↢",
		"label": "l->"
	},
	{
		"body": "↣",
		"description": "↣",
		"label": "r->"
	},
	{
		"body": "↯",
		"description": "↯",
		"label": "dz"
	},
	{
		"body": "▣",
		"description": "▣",
		"label": "sq."
	},
	{
		"body": "▢",
		"description": "▢",
		"label": "sqo"
	},
	{
		"body": "▰",
		"description": "▰",
		"label": "pab"
	},
	{
		"body": "▱",
		"description": "▱",
		"label": "paw"
	},
	{
		"body": "◆",
		"description": "◆",
		"label": "dib"
	},
	{
		"body": "◇",
		"description": "◇",
		"label": "diw"
	},
	{
		"body": "◈",
		"description": "◈",
		"label": "di."
	},
	{
		"body": "●",
		"description": "●",
		"label": "cib"
	},
	{
		"body": "○",
		"description": "○",
		"label": "ciw"
	},
	{
		"body": "◎",
		"description": "◎",
		"label": "ci."
	},
	{
		"body": "◌",
		"description": "◌",
		"label": "ci.."
	},
	{
		"body": "◯",
		"description": "◯",
		"label": "ciO"
	},
	{
		"body": "✶",
		"description": "✶",
		"label": "st6"
	},
	{
		"body": "✴",
		"description": "✴",
		"label": "st8"
	},
	{
		"body": "✹",
		"description": "✹",
		"label": "st12"
	},
	{
		"body": "ℕ",
		"description": "ℕ",
		"label": "bn"
	},
	{
		"body": "ℤ",
		"description": "ℤ",
		"label": "bz"
	},
	{
		"body": "ℚ",
		"description": "ℚ",
		"label": "bq"
	},
	{
		"body": "ℝ",
		"description": "ℝ",
		"label": "br"
	},
	{
		"body": "ℂ",
		"description": "ℂ",
		"label": "bc"
	},
	{
		"body": "ℙ",
		"description": "ℙ",
		"label": "bp"
	},
	{
		"body": "⅀",
		"description": "⅀",
		"label": "bsum"
	},
	{
		"body": "⟦",
		"description": "⟦",
		"label": "[["
	},
	{
		"body": "⟧",
		"description": "⟧",
		"label": "]]"
	},
	{
		"body": "⟨",
		"description": "⟨",
		"label": "<"
	},
	{
		"body": "⟩",
		"description": "⟩",
		"label": ">"
	},
	{
		"body": "⟪",
		"description": "⟪",
		"label": "<<"
	},
	{
		"body": "⟫",
		"description": "⟫",
		"label": ">>"
	},
	{
		"body": "⦃",
		"description": "⦃",
		"label": "{{"
	},
	{
		"body": "⦄",
		"description": "⦄",
		"label": "}}"
	},
	{
		"body": "⟅",
		"description": "⟅",
		"label": "(b"
	},
	{
		"body": "⟆",
		"description": "⟆",
		"label": ")b"
	},
	{
		"body": "⟅",
		"description": "⟅",
		"label": "lbag"
	},
	{
		"body": "⟆",
		"description": "⟆",
		"label": "rbag"
	},
	{
		"body": "•",
		"description": "•",
		"label": "bub"
	},
	{
		"body": "◦",
		"description": "◦",
		"label": "buw"
	},
	{
		"body": "‣",
		"description": "‣",
		"label": "but"
	},
	{
		"body": "♭",
		"description": "♭",
		"label": "b"
	},
	{
		"body": "♯",
		"description": "♯",
		"label": "#"
	},
	{
		"body": "\\\\",
		"description": "\\\\",
		"label": "\\\\"
	},
	{
		"body": "–",
		"description": "–",
		"label": "en"
	},
	{
		"body": "—",
		"description": "—",
		"label": "em"
	},
	{
		"body": "ⁱ",
		"description": "ⁱ",
		"label": "^i"
	},
	{
		"body": "‼",
		"description": "‼",
		"label": "!!"
	},
	{
		"body": "⁇",
		"description": "⁇",
		"label": "??"
	},
	{
		"body": "‽",
		"description": "‽",
		"label": "?!"
	},
	{
		"body": "⁉",
		"description": "⁉",
		"label": "!?"
	},
	{
		"body": "✂",
		"description": "✂",
		"label": "8<"
	},
	{
		"body": "⁀",
		"description": "⁀",
		"label": "tie"
	},
	{
		"body": "‿",
		"description": "‿",
		"label": "undertie"
	},
	{
		"body": "α",
		"description": "α",
		"label": "Ga"
	},
	{
		"body": "Α",
		"description": "Α",
		"label": "GA"
	},
	{
		"body": "β",
		"description": "β",
		"label": "Gb"
	},
	{
		"body": "Β",
		"description": "Β",
		"label": "GB"
	},
	{
		"body": "γ",
		"description": "γ",
		"label": "Gg"
	},
	{
		"body": "Γ",
		"description": "Γ",
		"label": "GG"
	},
	{
		"body": "δ",
		"description": "δ",
		"label": "Gd"
	},
	{
		"body": "Δ",
		"description": "Δ",
		"label": "GD"
	},
	{
		"body": "ε",
		"description": "ε",
		"label": "Ge"
	},
	{
		"body": "Ε",
		"description": "Ε",
		"label": "GE"
	},
	{
		"body": "ζ",
		"description": "ζ",
		"label": "Gz"
	},
	{
		"body": "Ζ",
		"description": "Ζ",
		"label": "GZ"
	},
	{
		"body": "θ",
		"description": "θ",
		"label": "Gth"
	},
	{
		"body": "Θ",
		"description": "Θ",
		"label": "GTH"
	},
	{
		"body": "ι",
		"description": "ι",
		"label": "Gi"
	},
	{
		"body": "Ι",
		"description": "Ι",
		"label": "GI"
	},
	{
		"body": "κ",
		"description": "κ",
		"label": "Gk"
	},
	{
		"body": "Κ",
		"description": "Κ",
		"label": "GK"
	},
	{
		"body": "λ",
		"description": "λ",
		"label": "Gl"
	},
	{
		"body": "Λ",
		"description": "Λ",
		"label": "GL"
	},
	{
		"body": "ƛ",
		"description": "ƛ",
		"label": "Gl-"
	},
	{
		"body": "μ",
		"description": "μ",
		"label": "Gm"
	},
	{
		"body": "Μ",
		"description": "Μ",
		"label": "GM"
	},
	{
		"body": "ν",
		"description": "ν",
		"label": "Gn"
	},
	{
		"body": "Ν",
		"description": "Ν",
		"label": "GN"
	},
	{
		"body": "ξ",
		"description": "ξ",
		"label": "Gx"
	},
	{
		"body": "Ξ",
		"description": "Ξ",
		"label": "GX"
	},
	{
		"body": "ρ",
		"description": "ρ",
		"label": "Gr"
	},
	{
		"body": "Ρ",
		"description": "Ρ",
		"label": "GR"
	},
	{
		"body": "σ",
		"description": "σ",
		"label": "Gs"
	},
	{
		"body": "Σ",
		"description": "Σ",
		"label": "GS"
	},
	{
		"body": "τ",
		"description": "τ",
		"label": "Gt"
	},
	{
		"body": "Τ",
		"description": "Τ",
		"label": "GT"
	},
	{
		"body": "υ",
		"description": "υ",
		"label": "Gu"
	},
	{
		"body": "Υ",
		"description": "Υ",
		"label": "GU"
	},
	{
		"body": "φ",
		"description": "φ",
		"label": "Gf"
	},
	{
		"body": "Φ",
		"description": "Φ",
		"label": "GF"
	},
	{
		"body": "χ",
		"description": "χ",
		"label": "Gc"
	},
	{
		"body": "Χ",
		"description": "Χ",
		"label": "GC"
	},
	{
		"body": "ψ",
		"description": "ψ",
		"label": "Gp"
	},
	{
		"body": "Ψ",
		"description": "Ψ",
		"label": "GP"
	},
	{
		"body": "ω",
		"description": "ω",
		"label": "Go"
	},
	{
		"body": "Ω",
		"description": "Ω",
		"label": "GO"
	},
	{
		"body": "𝐀",
		"description": "𝐀",
		"label": "MBA"
	},
	{
		"body": "𝐁",
		"description": "𝐁",
		"label": "MBB"
	},
	{
		"body": "𝐂",
		"description": "𝐂",
		"label": "MBC"
	},
	{
		"body": "𝐃",
		"description": "𝐃",
		"label": "MBD"
	},
	{
		"body": "𝐄",
		"description": "𝐄",
		"label": "MBE"
	},
	{
		"body": "𝐅",
		"description": "𝐅",
		"label": "MBF"
	},
	{
		"body": "𝐆",
		"description": "𝐆",
		"label": "MBG"
	},
	{
		"body": "𝐇",
		"description": "𝐇",
		"label": "MBH"
	},
	{
		"body": "𝐈",
		"description": "𝐈",
		"label": "MBI"
	},
	{
		"body": "𝐉",
		"description": "𝐉",
		"label": "MBJ"
	},
	{
		"body": "𝐊",
		"description": "𝐊",
		"label": "MBK"
	},
	{
		"body": "𝐋",
		"description": "𝐋",
		"label": "MBL"
	},
	{
		"body": "𝐌",
		"description": "𝐌",
		"label": "MBM"
	},
	{
		"body": "𝐍",
		"description": "𝐍",
		"label": "MBN"
	},
	{
		"body": "𝐎",
		"description": "𝐎",
		"label": "MBO"
	},
	{
		"body": "𝐏",
		"description": "𝐏",
		"label": "MBP"
	},
	{
		"body": "𝐐",
		"description": "𝐐",
		"label": "MBQ"
	},
	{
		"body": "𝐑",
		"description": "𝐑",
		"label": "MBR"
	},
	{
		"body": "𝐒",
		"description": "𝐒",
		"label": "MBS"
	},
	{
		"body": "𝐓",
		"description": "𝐓",
		"label": "MBT"
	},
	{
		"body": "𝐔",
		"description": "𝐔",
		"label": "MBU"
	},
	{
		"body": "𝐕",
		"description": "𝐕",
		"label": "MBV"
	},
	{
		"body": "𝐖",
		"description": "𝐖",
		"label": "MBW"
	},
	{
		"body": "𝐗",
		"description": "𝐗",
		"label": "MBX"
	},
	{
		"body": "𝐘",
		"description": "𝐘",
		"label": "MBY"
	},
	{
		"body": "𝐙",
		"description": "𝐙",
		"label": "MBZ"
	},
	{
		"body": "𝐚",
		"description": "𝐚",
		"label": "MBa"
	},
	{
		"body": "𝐛",
		"description": "𝐛",
		"label": "MBb"
	},
	{
		"body": "𝐜",
		"description": "𝐜",
		"label": "MBc"
	},
	{
		"body": "𝐝",
		"description": "𝐝",
		"label": "MBd"
	},
	{
		"body": "𝐞",
		"description": "𝐞",
		"label": "MBe"
	},
	{
		"body": "𝐟",
		"description": "𝐟",
		"label": "MBf"
	},
	{
		"body": "𝐠",
		"description": "𝐠",
		"label": "MBg"
	},
	{
		"body": "𝐡",
		"description": "𝐡",
		"label": "MBh"
	},
	{
		"body": "𝐢",
		"description": "𝐢",
		"label": "MBi"
	},
	{
		"body": "𝐣",
		"description": "𝐣",
		"label": "MBj"
	},
	{
		"body": "𝐤",
		"description": "𝐤",
		"label": "MBk"
	},
	{
		"body": "𝐥",
		"description": "𝐥",
		"label": "MBl"
	},
	{
		"body": "𝐦",
		"description": "𝐦",
		"label": "MBm"
	},
	{
		"body": "𝐧",
		"description": "𝐧",
		"label": "MBn"
	},
	{
		"body": "𝐨",
		"description": "𝐨",
		"label": "MBo"
	},
	{
		"body": "𝐩",
		"description": "𝐩",
		"label": "MBp"
	},
	{
		"body": "𝐪",
		"description": "𝐪",
		"label": "MBq"
	},
	{
		"body": "𝐫",
		"description": "𝐫",
		"label": "MBr"
	},
	{
		"body": "𝐬",
		"description": "𝐬",
		"label": "MBs"
	},
	{
		"body": "𝐭",
		"description": "𝐭",
		"label": "MBt"
	},
	{
		"body": "𝐮",
		"description": "𝐮",
		"label": "MBu"
	},
	{
		"body": "𝐯",
		"description": "𝐯",
		"label": "MBv"
	},
	{
		"body": "𝐰",
		"description": "𝐰",
		"label": "MBw"
	},
	{
		"body": "𝐱",
		"description": "𝐱",
		"label": "MBx"
	},
	{
		"body": "𝐲",
		"description": "𝐲",
		"label": "MBy"
	},
	{
		"body": "𝐳",
		"description": "𝐳",
		"label": "MBz"
	},
	{
		"body": "𝐴",
		"description": "𝐴",
		"label": "MiA"
	},
	{
		"body": "𝐵",
		"description": "𝐵",
		"label": "MiB"
	},
	{
		"body": "𝐶",
		"description": "𝐶",
		"label": "MiC"
	},
	{
		"body": "𝐷",
		"description": "𝐷",
		"label": "MiD"
	},
	{
		"body": "𝐸",
		"description": "𝐸",
		"label": "MiE"
	},
	{
		"body": "𝐹",
		"description": "𝐹",
		"label": "MiF"
	},
	{
		"body": "𝐺",
		"description": "𝐺",
		"label": "MiG"
	},
	{
		"body": "𝐻",
		"description": "𝐻",
		"label": "MiH"
	},
	{
		"body": "𝐼",
		"description": "𝐼",
		"label": "MiI"
	},
	{
		"body": "𝐽",
		"description": "𝐽",
		"label": "MiJ"
	},
	{
		"body": "𝐾",
		"description": "𝐾",
		"label": "MiK"
	},
	{
		"body": "𝐿",
		"description": "𝐿",
		"label": "MiL"
	},
	{
		"body": "𝑀",
		"description": "𝑀",
		"label": "MiM"
	},
	{
		"body": "𝑁",
		"description": "𝑁",
		"label": "MiN"
	},
	{
		"body": "𝑂",
		"description": "𝑂",
		"label": "MiO"
	},
	{
		"body": "𝑃",
		"description": "𝑃",
		"label": "MiP"
	},
	{
		"body": "𝑄",
		"description": "𝑄",
		"label": "MiQ"
	},
	{
		"body": "𝑅",
		"description": "𝑅",
		"label": "MiR"
	},
	{
		"body": "𝑆",
		"description": "𝑆",
		"label": "MiS"
	},
	{
		"body": "𝑇",
		"description": "𝑇",
		"label": "MiT"
	},
	{
		"body": "𝑈",
		"description": "𝑈",
		"label": "MiU"
	},
	{
		"body": "𝑉",
		"description": "𝑉",
		"label": "MiV"
	},
	{
		"body": "𝑊",
		"description": "𝑊",
		"label": "MiW"
	},
	{
		"body": "𝑋",
		"description": "𝑋",
		"label": "MiX"
	},
	{
		"body": "𝑌",
		"description": "𝑌",
		"label": "MiY"
	},
	{
		"body": "𝑍",
		"description": "𝑍",
		"label": "MiZ"
	},
	{
		"body": "𝑎",
		"description": "𝑎",
		"label": "Mia"
	},
	{
		"body": "𝑏",
		"description": "𝑏",
		"label": "Mib"
	},
	{
		"body": "𝑐",
		"description": "𝑐",
		"label": "Mic"
	},
	{
		"body": "𝑑",
		"description": "𝑑",
		"label": "Mid"
	},
	{
		"body": "𝑒",
		"description": "𝑒",
		"label": "Mie"
	},
	{
		"body": "𝑓",
		"description": "𝑓",
		"label": "Mif"
	},
	{
		"body": "𝑔",
		"description": "𝑔",
		"label": "Mig"
	},
	{
		"body": "𝑖",
		"description": "𝑖",
		"label": "Mii"
	},
	{
		"body": "𝑗",
		"description": "𝑗",
		"label": "mij"
	},
	{
		"body": "𝑘",
		"description": "𝑘",
		"label": "Mik"
	},
	{
		"body": "𝑙",
		"description": "𝑙",
		"label": "Mil"
	},
	{
		"body": "𝑚",
		"description": "𝑚",
		"label": "Mim"
	},
	{
		"body": "𝑛",
		"description": "𝑛",
		"label": "Min"
	},
	{
		"body": "𝑜",
		"description": "𝑜",
		"label": "Mio"
	},
	{
		"body": "𝑝",
		"description": "𝑝",
		"label": "Mip"
	},
	{
		"body": "𝑞",
		"description": "𝑞",
		"label": "Miq"
	},
	{
		"body": "𝑟",
		"description": "𝑟",
		"label": "Mir"
	},
	{
		"body": "𝑠",
		"description": "𝑠",
		"label": "Mis"
	},
	{
		"body": "𝑡",
		"description": "𝑡",
		"label": "Mit"
	},
	{
		"body": "𝑢",
		"description": "𝑢",
		"label": "Miu"
	},
	{
		"body": "𝑣",
		"description": "𝑣",
		"label": "Miv"
	},
	{
		"body": "𝑤",
		"description": "𝑤",
		"label": "Miw"
	},
	{
		"body": "𝑥",
		"description": "𝑥",
		"label": "Mix"
	},
	{
		"body": "𝑦",
		"description": "𝑦",
		"label": "Miy"
	},
	{
		"body": "𝑧",
		"description": "𝑧",
		"label": "Miz"
	},
	{
		"body": "𝑨",
		"description": "𝑨",
		"label": "MIA"
	},
	{
		"body": "𝑩",
		"description": "𝑩",
		"label": "MIB"
	},
	{
		"body": "𝑪",
		"description": "𝑪",
		"label": "MIC"
	},
	{
		"body": "𝑫",
		"description": "𝑫",
		"label": "MID"
	},
	{
		"body": "𝑬",
		"description": "𝑬",
		"label": "MIE"
	},
	{
		"body": "𝑭",
		"description": "𝑭",
		"label": "MIF"
	},
	{
		"body": "𝑮",
		"description": "𝑮",
		"label": "MIG"
	},
	{
		"body": "𝑯",
		"description": "𝑯",
		"label": "MIH"
	},
	{
		"body": "𝑰",
		"description": "𝑰",
		"label": "MII"
	},
	{
		"body": "𝑱",
		"description": "𝑱",
		"label": "MIJ"
	},
	{
		"body": "𝑲",
		"description": "𝑲",
		"label": "MIK"
	},
	{
		"body": "𝑳",
		"description": "𝑳",
		"label": "MIL"
	},
	{
		"body": "𝑴",
		"description": "𝑴",
		"label": "MIM"
	},
	{
		"body": "𝑵",
		"description": "𝑵",
		"label": "MIN"
	},
	{
		"body": "𝑶",
		"description": "𝑶",
		"label": "MIO"
	},
	{
		"body": "𝑷",
		"description": "𝑷",
		"label": "MIP"
	},
	{
		"body": "𝑸",
		"description": "𝑸",
		"label": "MIQ"
	},
	{
		"body": "𝑹",
		"description": "𝑹",
		"label": "MIR"
	},
	{
		"body": "𝑺",
		"description": "𝑺",
		"label": "MIS"
	},
	{
		"body": "𝑻",
		"description": "𝑻",
		"label": "MIT"
	},
	{
		"body": "𝑼",
		"description": "𝑼",
		"label": "MIU"
	},
	{
		"body": "𝑽",
		"description": "𝑽",
		"label": "MIV"
	},
	{
		"body": "𝑾",
		"description": "𝑾",
		"label": "MIW"
	},
	{
		"body": "𝑿",
		"description": "𝑿",
		"label": "MIX"
	},
	{
		"body": "𝒀",
		"description": "𝒀",
		"label": "MIY"
	},
	{
		"body": "𝒁",
		"description": "𝒁",
		"label": "MIZ"
	},
	{
		"body": "𝒂",
		"description": "𝒂",
		"label": "MIa"
	},
	{
		"body": "𝒃",
		"description": "𝒃",
		"label": "MIb"
	},
	{
		"body": "𝒄",
		"description": "𝒄",
		"label": "MIc"
	},
	{
		"body": "𝒅",
		"description": "𝒅",
		"label": "MId"
	},
	{
		"body": "𝒆",
		"description": "𝒆",
		"label": "MIe"
	},
	{
		"body": "𝒇",
		"description": "𝒇",
		"label": "MIf"
	},
	{
		"body": "𝒈",
		"description": "𝒈",
		"label": "MIg"
	},
	{
		"body": "𝒉",
		"description": "𝒉",
		"label": "MIh"
	},
	{
		"body": "𝒊",
		"description": "𝒊",
		"label": "MIi"
	},
	{
		"body": "𝒋",
		"description": "𝒋",
		"label": "MIj"
	},
	{
		"body": "𝒌",
		"description": "𝒌",
		"label": "MIk"
	},
	{
		"body": "𝒍",
		"description": "𝒍",
		"label": "MIl"
	},
	{
		"body": "𝒎",
		"description": "𝒎",
		"label": "MIm"
	},
	{
		"body": "𝒏",
		"description": "𝒏",
		"label": "MIn"
	},
	{
		"body": "𝒐",
		"description": "𝒐",
		"label": "MIo"
	},
	{
		"body": "𝒑",
		"description": "𝒑",
		"label": "MIp"
	},
	{
		"body": "𝒒",
		"description": "𝒒",
		"label": "MIq"
	},
	{
		"body": "𝒓",
		"description": "𝒓",
		"label": "MIr"
	},
	{
		"body": "𝒔",
		"description": "𝒔",
		"label": "MIs"
	},
	{
		"body": "𝒕",
		"description": "𝒕",
		"label": "MIt"
	},
	{
		"body": "𝒖",
		"description": "𝒖",
		"label": "MIu"
	},
	{
		"body": "𝒗",
		"description": "𝒗",
		"label": "MIv"
	},
	{
		"body": "𝒘",
		"description": "𝒘",
		"label": "MIw"
	},
	{
		"body": "𝒙",
		"description": "𝒙",
		"label": "MIx"
	},
	{
		"body": "𝒚",
		"description": "𝒚",
		"label": "MIy"
	},
	{
		"body": "𝒛",
		"description": "𝒛",
		"label": "MIz"
	},
	{
		"body": "𝒜",
		"description": "𝒜",
		"label": "McA"
	},
	{
		"body": "𝒞",
		"description": "𝒞",
		"label": "McC"
	},
	{
		"body": "𝒟",
		"description": "𝒟",
		"label": "McD"
	},
	{
		"body": "𝒢",
		"description": "𝒢",
		"label": "McG"
	},
	{
		"body": "𝒥",
		"description": "𝒥",
		"label": "McJ"
	},
	{
		"body": "𝒦",
		"description": "𝒦",
		"label": "McK"
	},
	{
		"body": "𝒩",
		"description": "𝒩",
		"label": "McN"
	},
	{
		"body": "𝒪",
		"description": "𝒪",
		"label": "McO"
	},
	{
		"body": "𝒫",
		"description": "𝒫",
		"label": "McP"
	},
	{
		"body": "𝒬",
		"description": "𝒬",
		"label": "McQ"
	},
	{
		"body": "𝒮",
		"description": "𝒮",
		"label": "McS"
	},
	{
		"body": "𝒯",
		"description": "𝒯",
		"label": "McT"
	},
	{
		"body": "𝒰",
		"description": "𝒰",
		"label": "McU"
	},
	{
		"body": "𝒱",
		"description": "𝒱",
		"label": "McV"
	},
	{
		"body": "𝒲",
		"description": "𝒲",
		"label": "McW"
	},
	{
		"body": "𝒳",
		"description": "𝒳",
		"label": "McX"
	},
	{
		"body": "𝒴",
		"description": "𝒴",
		"label": "McY"
	},
	{
		"body": "𝒵",
		"description": "𝒵",
		"label": "McZ"
	},
	{
		"body": "𝒶",
		"description": "𝒶",
		"label": "Mca"
	},
	{
		"body": "𝒷",
		"description": "𝒷",
		"label": "Mcb"
	},
	{
		"body": "𝒸",
		"description": "𝒸",
		"label": "Mcc"
	},
	{
		"body": "𝒹",
		"description": "𝒹",
		"label": "Mcd"
	},
	{
		"body": "𝒻",
		"description": "𝒻",
		"label": "Mcf"
	},
	{
		"body": "𝒽",
		"description": "𝒽",
		"label": "Mch"
	},
	{
		"body": "𝒾",
		"description": "𝒾",
		"label": "Mci"
	},
	{
		"body": "𝒿",
		"description": "𝒿",
		"label": "Mcj"
	},
	{
		"body": "𝓀",
		"description": "𝓀",
		"label": "Mck"
	},
	{
		"body": "𝓁",
		"description": "𝓁",
		"label": "Mcl"
	},
	{
		"body": "𝓂",
		"description": "𝓂",
		"label": "Mcm"
	},
	{
		"body": "𝓃",
		"description": "𝓃",
		"label": "Mcn"
	},
	{
		"body": "𝓅",
		"description": "𝓅",
		"label": "Mcp"
	},
	{
		"body": "𝓆",
		"description": "𝓆",
		"label": "Mcq"
	},
	{
		"body": "𝓇",
		"description": "𝓇",
		"label": "Mcr"
	},
	{
		"body": "𝓈",
		"description": "𝓈",
		"label": "Mcs"
	},
	{
		"body": "𝓉",
		"description": "𝓉",
		"label": "Mct"
	},
	{
		"body": "𝓊",
		"description": "𝓊",
		"label": "Mcu"
	},
	{
		"body": "𝓋",
		"description": "𝓋",
		"label": "Mcv"
	},
	{
		"body": "𝓌",
		"description": "𝓌",
		"label": "Mcw"
	},
	{
		"body": "𝓍",
		"description": "𝓍",
		"label": "Mcx"
	},
	{
		"body": "𝓎",
		"description": "𝓎",
		"label": "Mcy"
	},
	{
		"body": "𝓏",
		"description": "𝓏",
		"label": "Mcz"
	},
	{
		"body": "𝓐",
		"description": "𝓐",
		"label": "MCA"
	},
	{
		"body": "𝓑",
		"description": "𝓑",
		"label": "MCB"
	},
	{
		"body": "𝓒",
		"description": "𝓒",
		"label": "MCC"
	},
	{
		"body": "𝓓",
		"description": "𝓓",
		"label": "MCD"
	},
	{
		"body": "𝓔",
		"description": "𝓔",
		"label": "MCE"
	},
	{
		"body": "𝓕",
		"description": "𝓕",
		"label": "MCF"
	},
	{
		"body": "𝓖",
		"description": "𝓖",
		"label": "MCG"
	},
	{
		"body": "𝓗",
		"description": "𝓗",
		"label": "MCH"
	},
	{
		"body": "𝓘",
		"description": "𝓘",
		"label": "MCI"
	},
	{
		"body": "𝓙",
		"description": "𝓙",
		"label": "MCJ"
	},
	{
		"body": "𝓚",
		"description": "𝓚",
		"label": "MCK"
	},
	{
		"body": "𝓛",
		"description": "𝓛",
		"label": "MCL"
	},
	{
		"body": "𝓜",
		"description": "𝓜",
		"label": "MCM"
	},
	{
		"body": "𝓝",
		"description": "𝓝",
		"label": "MCN"
	},
	{
		"body": "𝓞",
		"description": "𝓞",
		"label": "MCO"
	},
	{
		"body": "𝓟",
		"description": "𝓟",
		"label": "MCP"
	},
	{
		"body": "𝓠",
		"description": "𝓠",
		"label": "MCQ"
	},
	{
		"body": "𝓡",
		"description": "𝓡",
		"label": "MCR"
	},
	{
		"body": "𝓢",
		"description": "𝓢",
		"label": "MCS"
	},
	{
		"body": "𝓣",
		"description": "𝓣",
		"label": "MCT"
	},
	{
		"body": "𝓤",
		"description": "𝓤",
		"label": "MCU"
	},
	{
		"body": "𝓥",
		"description": "𝓥",
		"label": "MCV"
	},
	{
		"body": "𝓦",
		"description": "𝓦",
		"label": "MCW"
	},
	{
		"body": "𝓧",
		"description": "𝓧",
		"label": "MCX"
	},
	{
		"body": "𝓨",
		"description": "𝓨",
		"label": "MCY"
	},
	{
		"body": "𝓩",
		"description": "𝓩",
		"label": "MCZ"
	},
	{
		"body": "𝓪",
		"description": "𝓪",
		"label": "MCa"
	},
	{
		"body": "𝓫",
		"description": "𝓫",
		"label": "MCb"
	},
	{
		"body": "𝓬",
		"description": "𝓬",
		"label": "MCc"
	},
	{
		"body": "𝓭",
		"description": "𝓭",
		"label": "MCd"
	},
	{
		"body": "𝓮",
		"description": "𝓮",
		"label": "MCe"
	},
	{
		"body": "𝓯",
		"description": "𝓯",
		"label": "MCf"
	},
	{
		"body": "𝓰",
		"description": "𝓰",
		"label": "MCg"
	},
	{
		"body": "𝓱",
		"description": "𝓱",
		"label": "MCh"
	},
	{
		"body": "𝓲",
		"description": "𝓲",
		"label": "MCi"
	},
	{
		"body": "𝓳",
		"description": "𝓳",
		"label": "MCj"
	},
	{
		"body": "𝓴",
		"description": "𝓴",
		"label": "MCk"
	},
	{
		"body": "𝓵",
		"description": "𝓵",
		"label": "MCl"
	},
	{
		"body": "𝓶",
		"description": "𝓶",
		"label": "MCm"
	},
	{
		"body": "𝓷",
		"description": "𝓷",
		"label": "MCn"
	},
	{
		"body": "𝓸",
		"description": "𝓸",
		"label": "MCo"
	},
	{
		"body": "𝓹",
		"description": "𝓹",
		"label": "MCp"
	},
	{
		"body": "𝓺",
		"description": "𝓺",
		"label": "MCq"
	},
	{
		"body": "𝓻",
		"description": "𝓻",
		"label": "MCr"
	},
	{
		"body": "𝓼",
		"description": "𝓼",
		"label": "MCs"
	},
	{
		"body": "𝓽",
		"description": "𝓽",
		"label": "MCt"
	},
	{
		"body": "𝓾",
		"description": "𝓾",
		"label": "MCu"
	},
	{
		"body": "𝓿",
		"description": "𝓿",
		"label": "MCv"
	},
	{
		"body": "𝔀",
		"description": "𝔀",
		"label": "MCw"
	},
	{
		"body": "𝔁",
		"description": "𝔁",
		"label": "MCx"
	},
	{
		"body": "𝔂",
		"description": "𝔂",
		"label": "MCy"
	},
	{
		"body": "𝔃",
		"description": "𝔃",
		"label": "MCz"
	},
	{
		"body": "𝔄",
		"description": "𝔄",
		"label": "MfA"
	},
	{
		"body": "𝔅",
		"description": "𝔅",
		"label": "MfB"
	},
	{
		"body": "𝔇",
		"description": "𝔇",
		"label": "MfD"
	},
	{
		"body": "𝔈",
		"description": "𝔈",
		"label": "MfE"
	},
	{
		"body": "𝔉",
		"description": "𝔉",
		"label": "MfF"
	},
	{
		"body": "𝔊",
		"description": "𝔊",
		"label": "MfG"
	},
	{
		"body": "𝔍",
		"description": "𝔍",
		"label": "MfJ"
	},
	{
		"body": "𝔎",
		"description": "𝔎",
		"label": "MfK"
	},
	{
		"body": "𝔏",
		"description": "𝔏",
		"label": "MfL"
	},
	{
		"body": "𝔐",
		"description": "𝔐",
		"label": "MfM"
	},
	{
		"body": "𝔑",
		"description": "𝔑",
		"label": "MfN"
	},
	{
		"body": "𝔒",
		"description": "𝔒",
		"label": "MfO"
	},
	{
		"body": "𝔓",
		"description": "𝔓",
		"label": "MfP"
	},
	{
		"body": "𝔔",
		"description": "𝔔",
		"label": "MfQ"
	},
	{
		"body": "𝔖",
		"description": "𝔖",
		"label": "MfS"
	},
	{
		"body": "𝔗",
		"description": "𝔗",
		"label": "MfT"
	},
	{
		"body": "𝔘",
		"description": "𝔘",
		"label": "MfU"
	},
	{
		"body": "𝔙",
		"description": "𝔙",
		"label": "MfV"
	},
	{
		"body": "𝔚",
		"description": "𝔚",
		"label": "MfW"
	},
	{
		"body": "𝔛",
		"description": "𝔛",
		"label": "MfX"
	},
	{
		"body": "𝔜",
		"description": "𝔜",
		"label": "MfY"
	},
	{
		"body": "𝔞",
		"description": "𝔞",
		"label": "Mfa"
	},
	{
		"body": "𝔟",
		"description": "𝔟",
		"label": "Mfb"
	},
	{
		"body": "𝔠",
		"description": "𝔠",
		"label": "Mfc"
	},
	{
		"body": "𝔡",
		"description": "𝔡",
		"label": "Mfd"
	},
	{
		"body": "𝔢",
		"description": "𝔢",
		"label": "Mfe"
	},
	{
		"body": "𝔣",
		"description": "𝔣",
		"label": "Mff"
	},
	{
		"body": "𝔤",
		"description": "𝔤",
		"label": "Mfg"
	},
	{
		"body": "𝔥",
		"description": "𝔥",
		"label": "Mfh"
	},
	{
		"body": "𝔦",
		"description": "𝔦",
		"label": "Mfi"
	},
	{
		"body": "𝔧",
		"description": "𝔧",
		"label": "Mfj"
	},
	{
		"body": "𝔨",
		"description": "𝔨",
		"label": "Mfk"
	},
	{
		"body": "𝔩",
		"description": "𝔩",
		"label": "Mfl"
	},
	{
		"body": "𝔪",
		"description": "𝔪",
		"label": "Mfm"
	},
	{
		"body": "𝔫",
		"description": "𝔫",
		"label": "Mfn"
	},
	{
		"body": "𝔬",
		"description": "𝔬",
		"label": "Mfo"
	},
	{
		"body": "𝔭",
		"description": "𝔭",
		"label": "Mfp"
	},
	{
		"body": "𝔮",
		"description": "𝔮",
		"label": "Mfq"
	},
	{
		"body": "𝔯",
		"description": "𝔯",
		"label": "Mfr"
	},
	{
		"body": "𝔰",
		"description": "𝔰",
		"label": "Mfs"
	},
	{
		"body": "𝔱",
		"description": "𝔱",
		"label": "Mft"
	},
	{
		"body": "𝔲",
		"description": "𝔲",
		"label": "Mfu"
	},
	{
		"body": "𝔳",
		"description": "𝔳",
		"label": "Mfv"
	},
	{
		"body": "𝔴",
		"description": "𝔴",
		"label": "Mfw"
	},
	{
		"body": "𝔵",
		"description": "𝔵",
		"label": "Mfx"
	},
	{
		"body": "𝔶",
		"description": "𝔶",
		"label": "Mfy"
	},
	{
		"body": "𝔷",
		"description": "𝔷",
		"label": "Mfz"
	},
	{
		"body": " ",
		"description": " ",
		"label": " "
	},
	{
		"body": "¡",
		"description": "¡",
		"label": "!"
	},
	{
		"body": "¢",
		"description": "¢",
		"label": "cent"
	},
	{
		"body": "¦",
		"description": "¦",
		"label": "brokenbar"
	},
	{
		"body": "°",
		"description": "°",
		"label": "degree"
	},
	{
		"body": "¿",
		"description": "¿",
		"label": "?"
	},
	{
		"body": "ª",
		"description": "ª",
		"label": "^a_"
	},
	{
		"body": "º",
		"description": "º",
		"label": "^o_"
	}
]

To use it:

1. Install Generic Input Method.
2. Copy this json file to ~/.vscode/mr-konn.generic-input-method-0.0.XX/defaults/.
3. Replace "defaults/math.json" in the key dictionary with "defaults/adga-mode.json" of settings.json.