Implementation
static const Map<String, String> accessibleNames = {
// 希腊字母
"alpha": "alpha", "beta": "beta", "gamma": "gamma",
"delta": "delta", "epsilon": "epsilon", "varepsilon": "epsilon",
"zeta": "zeta", "eta": "eta", "theta": "theta", "vartheta": "theta",
"iota": "iota", "kappa": "kappa", "lambda": "lambda",
"mu": "mu", "nu": "nu", "xi": "xi", "omicron": "omicron",
"pi": "pi", "varpi": "pi",
"rho": "rho", "varrho": "rho",
"sigma": "sigma", "varsigma": "sigma",
"tau": "tau", "upsilon": "upsilon",
"phi": "phi", "varphi": "phi",
"chi": "chi", "psi": "psi", "omega": "omega",
// 大写希腊字母
"Alpha": "Alpha", "Beta": "Beta",
"Gamma": "Gamma", "Delta": "Delta",
"Epsilon": "Epsilon", "Zeta": "Zeta", "Eta": "Eta",
"Theta": "Theta", "Iota": "Iota", "Kappa": "Kappa",
"Lambda": "Lambda", "Mu": "Mu", "Nu": "Nu",
"Xi": "Xi", "Omicron": "Omicron", "Pi": "Pi",
"Rho": "Rho", "Sigma": "Sigma", "Tau": "Tau",
"Upsilon": "Upsilon", "Phi": "Phi", "Chi": "Chi",
"Psi": "Psi", "Omega": "Omega",
// 大写希腊字母斜体变量变体
"varGamma": "Gamma", "varDelta": "Delta",
"varTheta": "Theta",
"varLambda": "Lambda",
"varXi": "Xi", "varPi": "Pi",
"varSigma": "Sigma",
"varUpsilon": "Upsilon", "varPhi": "Phi",
"varPsi": "Psi", "varOmega": "Omega",
// 微积分 & 特殊符号
"infty": "infinity", "partial": "partial",
"nabla": "nabla", "hbar": "h bar",
"ell": "ell", "wp": "Weierstrass p",
"Re": "real part", "Im": "imaginary part",
"aleph": "aleph",
// 运算符
"times": "times", "div": "divided by",
"pm": "plus or minus", "mp": "minus or plus",
"cdot": "dot", "ast": "asterisk", "star": "star",
"circ": "circle", "bullet": "bullet",
"oplus": "circled plus", "otimes": "circled times",
"odot": "circled dot", "minus": "minus",
// 点号
"cdots": "dots", "ldots": "dots",
"vdots": "vertical dots", "ddots": "diagonal dots",
// 关系符号
"leq": "less than or equal to", "le": "less than or equal to",
"geq": "greater than or equal to", "ge": "greater than or equal to",
"neq": "not equal to", "ne": "not equal to",
"approx": "approximately", "equiv": "equivalent to",
"sim": "similar to", "simeq": "similar or equal to",
"cong": "congruent to",
"propto": "proportional to",
"varpropto": "varies as",
"ll": "much less than", "gg": "much greater than",
"prec": "precedes", "succ": "succeeds",
"perp": "perpendicular", "parallel": "parallel to",
"mid": "divides",
// 箭头
"rightarrow": "right arrow", "leftarrow": "left arrow",
"to": "to", "gets": "gets",
"leftrightarrow": "if and only if",
"Rightarrow": "implies", "Leftarrow": "is implied by",
"Leftrightarrow": "if and only if",
"uparrow": "up arrow", "downarrow": "down arrow",
"mapsto": "maps to",
"longrightarrow": "long right arrow", "longleftarrow": "long left arrow",
"hookrightarrow": "hook right arrow", "hookleftarrow": "hook left arrow",
// 集合
"in": "in", "notin": "not in", "ni": "contains",
"subset": "subset of", "supset": "superset of",
"subseteq": "subset of or equal to", "supseteq": "superset of or equal to",
"cup": "union", "cap": "intersection",
"setminus": "set minus", "emptyset": "empty set", "varnothing": "empty set",
// 逻辑
"forall": "for all",
"exists": "there exists",
"nexists": "there does not exist",
"neg": "not", "lnot": "not",
"land": "and", "lor": "or",
"wedge": "and", "vee": "or",
"implies": "implies", "iff": "if and only if",
// 其他
"therefore": "therefore", "because": "because",
"angle": "angle", "degree": "degree", "prime": "prime",
"triangle": "triangle",
"dagger": "dagger", "ddagger": "double dagger",
"vdash": "proves", "dashv": "is proved by",
"top": "top", "bot": "bottom",
// AMS 否定关系符号
"nless": "not less than", "ngtr": "not greater than",
"nleq": "not less than or equal to", "ngeq": "not greater than or equal to",
"nleqslant": "not less than or equal to",
"ngeqslant": "not greater than or equal to",
"nsubseteq": "not subset of or equal to",
"nsupseteq": "not superset of or equal to",
"nprec": "does not precede", "nsucc": "does not succeed",
"ncong": "not congruent to", "nsim": "not similar to",
"nmid": "does not divide", "nparallel": "not parallel to",
"nvdash": "does not prove", "nvDash": "not valid",
"nVdash": "does not force", "nVDash": "not doubly valid",
"ntriangleleft": "not normal subgroup of",
"ntriangleright": "not normal supergroup of",
"ntrianglelefteq": "not normal subgroup of or equal to",
"ntrianglerighteq": "not normal supergroup of or equal to",
"lneq": "less than and not equal to",
"gneq": "greater than and not equal to",
"subsetneq": "subset of and not equal to",
"supsetneq": "superset of and not equal to",
// AMS 额外关系符号
"leqslant": "less than or equal to", "geqslant": "greater than or equal to",
"lessgtr": "less than or greater than",
"gtrless": "greater than or less than",
"lesssim": "less than or similar to",
"gtrsim": "greater than or similar to",
"trianglelefteq": "normal subgroup of or equal to",
"trianglerighteq": "normal supergroup of or equal to",
"vDash": "models", "Vdash": "forces", "Vvdash": "triple forces",
"models": "models",
// AMS 额外常用符号
"checkmark": "checkmark", "complement": "complement",
"eth": "eth", "mho": "mho",
"twoheadrightarrow": "two-headed right arrow",
"twoheadleftarrow": "two-headed left arrow",
"leftleftarrows": "left left arrows",
"rightrightarrows": "right right arrows",
"leftrightarrows": "left right arrows",
"rightleftarrows": "right left arrows",
"Lsh": "left shift", "Rsh": "right shift",
"multimap": "multimap",
"rightsquigarrow": "squiggly right arrow",
"blacksquare": "black square", "square": "square",
"lozenge": "lozenge", "measuredangle": "measured angle",
"beth": "beth", "gimel": "gimel", "daleth": "daleth",
"bowtie": "bowtie", "between": "between",
};
