math/py-mathics-scanner: upgrade to 1.2.0

Release notes at
<https://github.com/Mathics3/mathics-scanner/releases/tag/1.2.0>.

3 files changed, 7744 insertions, 6 deletions

diff --git a/math/py-mathics-scanner/Makefile b/math/py-mathics-scanner/Makefile
index ca00a082a697..a34a5cc1052c 100644
--- a/math/py-mathics-scanner/Makefile
+++ b/math/py-mathics-scanner/Makefile
@@ -1,7 +1,7 @@
 # Created by: Thierry Thomas <thierry@pompo.net>
 
 PORTNAME=	Mathics_Scanner
-PORTVERSION=	1.1.2
+PORTVERSION=	1.2.0
 CATEGORIES=	math python
 MASTER_SITES=	CHEESESHOP
 PKGNAMEPREFIX=	${PYTHON_PKGNAMEPREFIX}
@@ -13,11 +13,9 @@ LICENSE=	GPLv3
 
 BUILD_DEPENDS=	${PYTHON_PKGNAMEPREFIX}ujson>0:devel/py-ujson@${PY_FLAVOR}	\
 		${PYTHON_PKGNAMEPREFIX}click>0:devel/py-click@${PY_FLAVOR}	\
-		${PYTHON_PKGNAMEPREFIX}pyaml>0:textproc/py-pyaml@${PY_FLAVOR}	\
 		${PYTHON_PKGNAMEPREFIX}chardet>0:textproc/py-chardet@${PY_FLAVOR}
 RUN_DEPENDS=	${PYTHON_PKGNAMEPREFIX}ujson>0:devel/py-ujson@${PY_FLAVOR}	\
 		${PYTHON_PKGNAMEPREFIX}click>0:devel/py-click@${PY_FLAVOR}	\
-		${PYTHON_PKGNAMEPREFIX}pyaml>0:textproc/py-pyaml@${PY_FLAVOR}	\
 		${PYTHON_PKGNAMEPREFIX}chardet>0:textproc/py-chardet@${PY_FLAVOR}
 TEST_DEPENDS=	gmake:devel/gmake	\
 		${PYTHON_PKGNAMEPREFIX}pytest>0:devel/py-pytest@${PY_FLAVOR}
@@ -34,6 +32,9 @@ PLIST_SUB+=	VER=${PORTVERSION}
 TEST_TARGET=	check
 TEST_ENV=	${MAKE_ENV}
 
+pre-configure:
+	${CP} ${FILESDIR}/named-characters.yml ${WRKSRC}/mathics_scanner/data/
+
 do-test: install
 	(cd ${TEST_WRKSRC} &&	\
 	${SETENV} ${TEST_ENV} ${GMAKE} ${MAKE_FLAGS} ${MAKEFILE} ${TEST_TARGET})
diff --git a/math/py-mathics-scanner/distinfo b/math/py-mathics-scanner/distinfo
index 62e682e8679d..026fc785c525 100644
--- a/math/py-mathics-scanner/distinfo
+++ b/math/py-mathics-scanner/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1617904183
-SHA256 (Mathics_Scanner-1.1.2.tar.gz) = 54d300e00489d6fc6871d6f456eecbe125a92f859d99c17587b3921b1db976d9
-SIZE (Mathics_Scanner-1.1.2.tar.gz) = 78393
+TIMESTAMP = 1621172446
+SHA256 (Mathics_Scanner-1.2.0.tar.gz) = b40c2144adb12654df600e4464cf8db6584572854476198c0d1fec3cf887f283
+SIZE (Mathics_Scanner-1.2.0.tar.gz) = 81584
diff --git a/math/py-mathics-scanner/files/named-characters.yml b/math/py-mathics-scanner/files/named-characters.yml
new file mode 100644
index 000000000000..35bce54066d6
--- /dev/null
+++ b/math/py-mathics-scanner/files/named-characters.yml
@@ -0,0 +1,7737 @@
+# Information about named characters, indexed by their fully qualified names.
+#
+#   ascii: If present, the ASCII equivalent. In some cases this may be more
+#          than one character. For example "->" or "===".
+#
+#   esc-alias: The ESC sequence alias of the named character, if it exists.
+#
+#   has-unicode-inverse: Whether or not this named character has a unicode
+#                        equivalent that should replace other variants of it,
+#                        e.g. named character or ascii equivalent.
+#
+#   is-letter-like: Whether or not this named-character is "letter-like", or
+#                   can be used as part of a symbol. For example \[alpha]
+#                   is letter-like. Therefore we can write: \[alpha]5 = "testing"
+#
+#   operator-name: If present, this symbol is a Mathics operator with
+#                  whose class name is the given name. For example Divide.
+#
+#   unicode-equivalent: A unicode equivalent for the named-character, if it
+#                       exists.
+#
+#   unicode-equivalent-name: The name of the unicode equivalent, if it exists.
+#                            The Python module unicodedata contains a list of
+#                            unicode names that we check against. So if the character
+#                            or unicode symbol is not in that, don't use it here.
+#
+#   wl-unicode: The unicode code point used by Mathics internally to represent
+#               the named character. If it is the same as unicode-equivalent
+#               it can be omitted
+#
+#   wl-unicode-name: The name of the character corresponding to `wl-unicode`, if it exists. If it is the same as unicode-equivalent-name it can be omitted.
+#                    It will mentioned in Wolfram Language docs if it exists.
+
+AAcute:
+  esc-alias: a'
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xE1"
+  unicode-equivalent-name: LATIN SMALL LETTER A WITH ACUTE
+  wl-unicode: "\xE1"
+  wl-unicode-name: LATIN SMALL LETTER A WITH ACUTE
+ABar:
+  esc-alias: a-
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u0101"
+  unicode-equivalent-name: LATIN SMALL LETTER A WITH MACRON
+  wl-unicode: "\u0101"
+  wl-unicode-name: LATIN SMALL LETTER A WITH MACRON
+ACup:
+  esc-alias: au
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u0103"
+  unicode-equivalent-name: LATIN SMALL LETTER A WITH BREVE
+  wl-unicode: "\u0103"
+  wl-unicode-name: LATIN SMALL LETTER A WITH BREVE
+AddTo:
+  ascii: "+="
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: AddTo
+ADoubleDot:
+  esc-alias: a"
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xE4"
+  unicode-equivalent-name: LATIN SMALL LETTER A WITH DIAERESIS
+  wl-unicode: "\xE4"
+  wl-unicode-name: LATIN SMALL LETTER A WITH DIAERESIS
+AE:
+  esc-alias: ae
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xE6"
+  unicode-equivalent-name: LATIN SMALL LETTER AE
+  wl-unicode: "\xE6"
+  wl-unicode-name: LATIN SMALL LETTER AE
+AGrave:
+  esc-alias: a`
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xE0"
+  unicode-equivalent-name: LATIN SMALL LETTER A WITH GRAVE
+  wl-unicode: "\xE0"
+  wl-unicode-name: LATIN SMALL LETTER A WITH GRAVE
+AHat:
+  esc-alias: a^
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xE2"
+  unicode-equivalent-name: LATIN SMALL LETTER A WITH CIRCUMFLEX
+  wl-unicode: "\xE2"
+  wl-unicode-name: LATIN SMALL LETTER A WITH CIRCUMFLEX
+Alternative:
+  ascii: "|"
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Alternative
+  unicode-equivalent: "|"
+  unicode-equivalent-name: VERTICAL LINE
+  wl-unicode: "|"
+  wl-unicode-name: VERTICAL LINE
+Apply:
+  ascii: "@@"
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Apply
+# @@@ replaces heads at level 1 of expr by f.
+# We add "3Ats" at the end so keys are unique, but
+# the WL operator is still "Apply".
+Apply3Ats:
+  ascii: "@@@"
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Apply
+ARing:
+  esc-alias: ao
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xE5"
+  unicode-equivalent-name: LATIN SMALL LETTER A WITH RING ABOVE
+  wl-unicode: "\xE5"
+  wl-unicode-name: LATIN SMALL LETTER A WITH RING ABOVE
+ATilde:
+  esc-alias: a~
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xE3"
+  unicode-equivalent-name: LATIN SMALL LETTER A WITH TILDE
+  wl-unicode: "\xE3"
+  wl-unicode-name: LATIN SMALL LETTER A WITH TILDE
+Aleph:
+  esc-alias: al
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2135"
+  unicode-equivalent-name: ALEF SYMBOL
+  wl-unicode: "\u2135"
+  wl-unicode-name: ALEF SYMBOL
+
+# Note: the unicode for AliasDelimiter doesn't look like "-"
+# https://reference.wolfram.com/language/ref/character/AliasDelimiter.html
+# says this is a textual representation for the ASCI "esc" character with code 27
+AliasDelimiter:
+  has-unicode-inverse: false
+  unicode-equivalent: "\u0027"
+  is-letter-like: false
+  wl-unicode: "\uF764"
+
+AliasIndicator:
+  esc-alias: esc
+  has-unicode-inverse: false
+  is-letter-like: true
+  wl-unicode: "\uF768"
+AlignmentMarker:
+  esc-alias: am
+  has-unicode-inverse: false
+  is-letter-like: true
+  wl-unicode: "\uF760"
+Alpha:
+  esc-alias: a
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03B1"
+  unicode-equivalent-name: GREEK SMALL LETTER ALPHA
+  wl-unicode: "\u03B1"
+  wl-unicode-name: GREEK SMALL LETTER ALPHA
+AltKey:
+  esc-alias: alt
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF7D1"
+And:
+  ascii: '&&'
+  esc-alias: '&&'
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: And
+  unicode-equivalent: "\u2227"
+  unicode-equivalent-name: LOGICAL AND
+  wl-unicode: "\u2227"
+  wl-unicode-name: LOGICAL AND
+Angle:
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u2220"
+  unicode-equivalent-name: ANGLE
+  wl-unicode: "\u2220"
+  wl-unicode-name: ANGLE
+Angstrom:
+  esc-alias: Ang
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u212B"
+  unicode-equivalent-name: ANGSTROM SIGN
+  wl-unicode: "\u212B"
+  wl-unicode-name: ANGSTROM SIGN
+AquariusSign:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2652"
+  unicode-equivalent-name: AQUARIUS
+  wl-unicode: "\u2652"
+  wl-unicode-name: AQUARIUS
+AriesSign:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2648"
+  unicode-equivalent-name: ARIES
+  wl-unicode: "\u2648"
+  wl-unicode-name: ARIES
+AscendingEllipsis:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u22F0"
+  unicode-equivalent-name: UP RIGHT DIAGONAL ELLIPSIS
+  wl-unicode: "\u22F0"
+  wl-unicode-name: UP RIGHT DIAGONAL ELLIPSIS
+AutoLeftMatch:
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF3A8"
+AutoOperand:
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF3AE"
+AutoPlaceholder:
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF3A4"
+AutoRightMatch:
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF3A9"
+AutoSpace:
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF3AD"
+Backslash:
+  esc-alias: \
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2216"
+  unicode-equivalent-name: SET MINUS
+  wl-unicode: "\u2216"
+  wl-unicode-name: SET MINUS
+BeamedEighthNote:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u266B"
+  unicode-equivalent-name: BEAMED EIGHTH NOTES
+  wl-unicode: "\u266B"
+  wl-unicode-name: BEAMED EIGHTH NOTES
+BeamedSixteenthNote:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u266C"
+  unicode-equivalent-name: BEAMED SIXTEENTH NOTES
+  wl-unicode: "\u266C"
+  wl-unicode-name: BEAMED SIXTEENTH NOTES
+Because:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Because
+  unicode-equivalent: "\u2235"
+  unicode-equivalent-name: BECAUSE
+  wl-unicode: "\u2235"
+  wl-unicode-name: BECAUSE
+Bet:
+  esc-alias: be
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2136"
+  unicode-equivalent-name: BET SYMBOL
+  wl-unicode: "\u2136"
+  wl-unicode-name: BET SYMBOL
+Beta:
+  esc-alias: b
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03B2"
+  unicode-equivalent-name: GREEK SMALL LETTER BETA
+  wl-unicode: "\u03B2"
+  wl-unicode-name: GREEK SMALL LETTER BETA
+BlackBishop:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u265D"
+  unicode-equivalent-name: BLACK CHESS BISHOP
+  wl-unicode: "\u265D"
+  wl-unicode-name: BLACK CHESS BISHOP
+BlackKing:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u265A"
+  unicode-equivalent-name: BLACK CHESS KING
+  wl-unicode: "\u265A"
+  wl-unicode-name: BLACK CHESS KING
+BlackKnight:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u265E"
+  unicode-equivalent-name: BLACK CHESS KNIGHT
+  wl-unicode: "\u265E"
+  wl-unicode-name: BLACK CHESS KNIGHT
+BlackPawn:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u265F"
+  unicode-equivalent-name: BLACK CHESS PAWN
+  wl-unicode: "\u265F"
+  wl-unicode-name: BLACK CHESS PAWN
+BlackQueen:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u265B"
+  unicode-equivalent-name: BLACK CHESS QUEEN
+  wl-unicode: "\u265B"
+  wl-unicode-name: BLACK CHESS QUEEN
+BlackRook:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u265C"
+  unicode-equivalent-name: BLACK CHESS ROOK
+  wl-unicode: "\u265C"
+  wl-unicode-name: BLACK CHESS ROOK
+Blank:
+  ascii: "_"
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Blank
+BlankNullSequence:
+  ascii: "___"
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: BlankNullSequence
+BlankSequence:
+  ascii: "__"
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: BlankSequence
+Breve:
+  esc-alias: bv
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u02D8"
+  unicode-equivalent-name: BREVE
+  wl-unicode: "\u02D8"
+  wl-unicode-name: BREVE
+Bullet:
+  esc-alias: bu
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u2022"
+  unicode-equivalent-name: BULLET
+  wl-unicode: "\u2022"
+  wl-unicode-name: BULLET
+CAcute:
+  esc-alias: c'
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u0107"
+  unicode-equivalent-name: LATIN SMALL LETTER C WITH ACUTE
+  wl-unicode: "\u0107"
+  wl-unicode-name: LATIN SMALL LETTER C WITH ACUTE
+CCedilla:
+  esc-alias: c
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xE7"
+  unicode-equivalent-name: LATIN SMALL LETTER C WITH CEDILLA
+  wl-unicode: "\xE7"
+  wl-unicode-name: LATIN SMALL LETTER C WITH CEDILLA
+CHacek:
+  esc-alias: cv
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u010D"
+  unicode-equivalent-name: LATIN SMALL LETTER C WITH CARON
+  wl-unicode: "\u010D"
+  wl-unicode-name: LATIN SMALL LETTER C WITH CARON
+CancerSign:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u264B"
+  unicode-equivalent-name: CANCER
+  wl-unicode: "\u264B"
+  wl-unicode-name: CANCER
+Cap:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2322"
+  unicode-equivalent-name: FROWN
+  wl-unicode: "\u2322"
+  wl-unicode-name: FROWN
+CapitalAAcute:
+  esc-alias: A'
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xC1"
+  unicode-equivalent-name: LATIN CAPITAL LETTER A WITH ACUTE
+  wl-unicode: "\xC1"
+  wl-unicode-name: LATIN CAPITAL LETTER A WITH ACUTE
+CapitalABar:
+  esc-alias: A-
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u0100"
+  unicode-equivalent-name: LATIN CAPITAL LETTER A WITH MACRON
+  wl-unicode: "\u0100"
+  wl-unicode-name: LATIN CAPITAL LETTER A WITH MACRON
+CapitalACup:
+  esc-alias: Au
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u0102"
+  unicode-equivalent-name: LATIN CAPITAL LETTER A WITH BREVE
+  wl-unicode: "\u0102"
+  wl-unicode-name: LATIN CAPITAL LETTER A WITH BREVE
+CapitalADoubleDot:
+  esc-alias: A"
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xC4"
+  unicode-equivalent-name: LATIN CAPITAL LETTER A WITH DIAERESIS
+  wl-unicode: "\xC4"
+  wl-unicode-name: LATIN CAPITAL LETTER A WITH DIAERESIS
+CapitalAE:
+  esc-alias: AE
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xC6"
+  unicode-equivalent-name: LATIN CAPITAL LETTER AE
+  wl-unicode: "\xC6"
+  wl-unicode-name: LATIN CAPITAL LETTER AE
+CapitalAGrave:
+  esc-alias: A`
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xC0"
+  unicode-equivalent-name: LATIN CAPITAL LETTER A WITH GRAVE
+  wl-unicode: "\xC0"
+  wl-unicode-name: LATIN CAPITAL LETTER A WITH GRAVE
+CapitalAHat:
+  esc-alias: A^
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xC2"
+  unicode-equivalent-name: LATIN CAPITAL LETTER A WITH CIRCUMFLEX
+  wl-unicode: "\xC2"
+  wl-unicode-name: LATIN CAPITAL LETTER A WITH CIRCUMFLEX
+CapitalARing:
+  esc-alias: Ao
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xC5"
+  unicode-equivalent-name: LATIN CAPITAL LETTER A WITH RING ABOVE
+  wl-unicode: "\xC5"
+  wl-unicode-name: LATIN CAPITAL LETTER A WITH RING ABOVE
+CapitalATilde:
+  esc-alias: A~
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xC3"
+  unicode-equivalent-name: LATIN CAPITAL LETTER A WITH TILDE
+  wl-unicode: "\xC3"
+  wl-unicode-name: LATIN CAPITAL LETTER A WITH TILDE
+CapitalAlpha:
+  esc-alias: A
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u0391"
+  unicode-equivalent-name: GREEK CAPITAL LETTER ALPHA
+  wl-unicode: "\u0391"
+  wl-unicode-name: GREEK CAPITAL LETTER ALPHA
+CapitalBeta:
+  esc-alias: B
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u0392"
+  unicode-equivalent-name: GREEK CAPITAL LETTER BETA
+  wl-unicode: "\u0392"
+  wl-unicode-name: GREEK CAPITAL LETTER BETA
+CapitalCAcute:
+  esc-alias: C'
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u0106"
+  unicode-equivalent-name: LATIN CAPITAL LETTER C WITH ACUTE
+  wl-unicode: "\u0106"
+  wl-unicode-name: LATIN CAPITAL LETTER C WITH ACUTE
+CapitalCCedilla:
+  esc-alias: C
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xC7"
+  unicode-equivalent-name: LATIN CAPITAL LETTER C WITH CEDILLA
+  wl-unicode: "\xC7"
+  wl-unicode-name: LATIN CAPITAL LETTER C WITH CEDILLA
+CapitalCHacek:
+  esc-alias: Cv
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u010C"
+  unicode-equivalent-name: LATIN CAPITAL LETTER C WITH CARON
+  wl-unicode: "\u010C"
+  wl-unicode-name: LATIN CAPITAL LETTER C WITH CARON
+CapitalChi:
+  esc-alias: Ch
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03A7"
+  unicode-equivalent-name: GREEK CAPITAL LETTER CHI
+  wl-unicode: "\u03A7"
+  wl-unicode-name: GREEK CAPITAL LETTER CHI
+CapitalDHacek:
+  esc-alias: Dv
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u010E"
+  unicode-equivalent-name: LATIN CAPITAL LETTER D WITH CARON
+  wl-unicode: "\u010E"
+  wl-unicode-name: LATIN CAPITAL LETTER D WITH CARON
+CapitalDelta:
+  esc-alias: D
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u0394"
+  unicode-equivalent-name: GREEK CAPITAL LETTER DELTA
+  wl-unicode: "\u0394"
+  wl-unicode-name: GREEK CAPITAL LETTER DELTA
+CapitalDifferentialD:
+  esc-alias: DD
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D437"
+  unicode-equivalent-name: MATHEMATICAL ITALIC CAPITAL D
+  wl-unicode: "\uF74B"
+CapitalDigamma:
+  esc-alias: Di
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03DC"
+  unicode-equivalent-name: GREEK LETTER DIGAMMA
+  wl-unicode: "\u03DC"
+  wl-unicode-name: GREEK LETTER DIGAMMA
+CapitalEAcute:
+  esc-alias: E'
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xC9"
+  unicode-equivalent-name: LATIN CAPITAL LETTER E WITH ACUTE
+  wl-unicode: "\xC9"
+  wl-unicode-name: LATIN CAPITAL LETTER E WITH ACUTE
+CapitalEBar:
+  esc-alias: E-
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u0112"
+  unicode-equivalent-name: LATIN CAPITAL LETTER E WITH MACRON
+  wl-unicode: "\u0112"
+  wl-unicode-name: LATIN CAPITAL LETTER E WITH MACRON
+CapitalECup:
+  esc-alias: Eu
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u0114"
+  unicode-equivalent-name: LATIN CAPITAL LETTER E WITH BREVE
+  wl-unicode: "\u0114"
+  wl-unicode-name: LATIN CAPITAL LETTER E WITH BREVE
+CapitalEDoubleDot:
+  esc-alias: E"
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xCB"
+  unicode-equivalent-name: LATIN CAPITAL LETTER E WITH DIAERESIS
+  wl-unicode: "\xCB"
+  wl-unicode-name: LATIN CAPITAL LETTER E WITH DIAERESIS
+CapitalEGrave:
+  esc-alias: E`
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xC8"
+  unicode-equivalent-name: LATIN CAPITAL LETTER E WITH GRAVE
+  wl-unicode: "\xC8"
+  wl-unicode-name: LATIN CAPITAL LETTER E WITH GRAVE
+CapitalEHacek:
+  esc-alias: Ev
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u011A"
+  unicode-equivalent-name: LATIN CAPITAL LETTER E WITH CARON
+  wl-unicode: "\u011A"
+  wl-unicode-name: LATIN CAPITAL LETTER E WITH CARON
+CapitalEHat:
+  esc-alias: E^
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xCA"
+  unicode-equivalent-name: LATIN CAPITAL LETTER E WITH CIRCUMFLEX
+  wl-unicode: "\xCA"
+  wl-unicode-name: LATIN CAPITAL LETTER E WITH CIRCUMFLEX
+CapitalEpsilon:
+  esc-alias: E
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u0395"
+  unicode-equivalent-name: GREEK CAPITAL LETTER EPSILON
+  wl-unicode: "\u0395"
+  wl-unicode-name: GREEK CAPITAL LETTER EPSILON
+CapitalEta:
+  esc-alias: Et
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u0397"
+  unicode-equivalent-name: GREEK CAPITAL LETTER ETA
+  wl-unicode: "\u0397"
+  wl-unicode-name: GREEK CAPITAL LETTER ETA
+CapitalEth:
+  esc-alias: D-
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xD0"
+  unicode-equivalent-name: LATIN CAPITAL LETTER ETH
+  wl-unicode: "\xD0"
+  wl-unicode-name: LATIN CAPITAL LETTER ETH
+CapitalGamma:
+  esc-alias: G
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u0393"
+  unicode-equivalent-name: GREEK CAPITAL LETTER GAMMA
+  wl-unicode: "\u0393"
+  wl-unicode-name: GREEK CAPITAL LETTER GAMMA
+CapitalIAcute:
+  esc-alias: I'
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xCD"
+  unicode-equivalent-name: LATIN CAPITAL LETTER I WITH ACUTE
+  wl-unicode: "\xCD"
+  wl-unicode-name: LATIN CAPITAL LETTER I WITH ACUTE
+CapitalICup:
+  esc-alias: Iu
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u012C"
+  unicode-equivalent-name: LATIN CAPITAL LETTER I WITH BREVE
+  wl-unicode: "\u012C"
+  wl-unicode-name: LATIN CAPITAL LETTER I WITH BREVE
+CapitalIDoubleDot:
+  esc-alias: I"
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xCF"
+  unicode-equivalent-name: LATIN CAPITAL LETTER I WITH DIAERESIS
+  wl-unicode: "\xCF"
+  wl-unicode-name: LATIN CAPITAL LETTER I WITH DIAERESIS
+CapitalIGrave:
+  esc-alias: I`
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xCC"
+  unicode-equivalent-name: LATIN CAPITAL LETTER I WITH GRAVE
+  wl-unicode: "\xCC"
+  wl-unicode-name: LATIN CAPITAL LETTER I WITH GRAVE
+CapitalIHat:
+  esc-alias: I^
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xCE"
+  unicode-equivalent-name: LATIN CAPITAL LETTER I WITH CIRCUMFLEX
+  wl-unicode: "\xCE"
+  wl-unicode-name: LATIN CAPITAL LETTER I WITH CIRCUMFLEX
+CapitalIota:
+  esc-alias: I
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u0399"
+  unicode-equivalent-name: GREEK CAPITAL LETTER IOTA
+  wl-unicode: "\u0399"
+  wl-unicode-name: GREEK CAPITAL LETTER IOTA
+CapitalKappa:
+  esc-alias: K
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u039A"
+  unicode-equivalent-name: GREEK CAPITAL LETTER KAPPA
+  wl-unicode: "\u039A"
+  wl-unicode-name: GREEK CAPITAL LETTER KAPPA
+CapitalKoppa:
+  esc-alias: Ko
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03DE"
+  unicode-equivalent-name: GREEK LETTER KOPPA
+  wl-unicode: "\u03DE"
+  wl-unicode-name: GREEK LETTER KOPPA
+CapitalLSlash:
+  esc-alias: L/
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u0141"
+  unicode-equivalent-name: LATIN CAPITAL LETTER L WITH STROKE
+  wl-unicode: "\u0141"
+  wl-unicode-name: LATIN CAPITAL LETTER L WITH STROKE
+CapitalLambda:
+  esc-alias: L
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u039B"
+  unicode-equivalent-name: GREEK CAPITAL LETTER LAMDA
+  wl-unicode: "\u039B"
+  wl-unicode-name: GREEK CAPITAL LETTER LAMDA
+CapitalMu:
+  esc-alias: M
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u039C"
+  unicode-equivalent-name: GREEK CAPITAL LETTER MU
+  wl-unicode: "\u039C"
+  wl-unicode-name: GREEK CAPITAL LETTER MU
+CapitalNHacek:
+  esc-alias: Nv
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u0147"
+  unicode-equivalent-name: LATIN CAPITAL LETTER N WITH CARON
+  wl-unicode: "\u0147"
+  wl-unicode-name: LATIN CAPITAL LETTER N WITH CARON
+CapitalNTilde:
+  esc-alias: N~
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xD1"
+  unicode-equivalent-name: LATIN CAPITAL LETTER N WITH TILDE
+  wl-unicode: "\xD1"
+  wl-unicode-name: LATIN CAPITAL LETTER N WITH TILDE
+CapitalNu:
+  esc-alias: N
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u039D"
+  unicode-equivalent-name: GREEK CAPITAL LETTER NU
+  wl-unicode: "\u039D"
+  wl-unicode-name: GREEK CAPITAL LETTER NU
+CapitalOAcute:
+  esc-alias: O'
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xD3"
+  unicode-equivalent-name: LATIN CAPITAL LETTER O WITH ACUTE
+  wl-unicode: "\xD3"
+  wl-unicode-name: LATIN CAPITAL LETTER O WITH ACUTE
+CapitalODoubleAcute:
+  esc-alias: O''
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u0150"
+  unicode-equivalent-name: LATIN CAPITAL LETTER O WITH DOUBLE ACUTE
+  wl-unicode: "\u0150"
+  wl-unicode-name: LATIN CAPITAL LETTER O WITH DOUBLE ACUTE
+CapitalODoubleDot:
+  esc-alias: O"
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xD6"
+  unicode-equivalent-name: LATIN CAPITAL LETTER O WITH DIAERESIS
+  wl-unicode: "\xD6"
+  wl-unicode-name: LATIN CAPITAL LETTER O WITH DIAERESIS
+CapitalOE:
+  esc-alias: OE
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u0152"
+  unicode-equivalent-name: LATIN CAPITAL LIGATURE OE
+  wl-unicode: "\u0152"
+  wl-unicode-name: LATIN CAPITAL LIGATURE OE
+CapitalOGrave:
+  esc-alias: O`
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xD2"
+  unicode-equivalent-name: LATIN CAPITAL LETTER O WITH GRAVE
+  wl-unicode: "\xD2"
+  wl-unicode-name: LATIN CAPITAL LETTER O WITH GRAVE
+CapitalOHat:
+  esc-alias: O^
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xD4"
+  unicode-equivalent-name: LATIN CAPITAL LETTER O WITH CIRCUMFLEX
+  wl-unicode: "\xD4"
+  wl-unicode-name: LATIN CAPITAL LETTER O WITH CIRCUMFLEX
+CapitalOSlash:
+  esc-alias: O/
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xD8"
+  unicode-equivalent-name: LATIN CAPITAL LETTER O WITH STROKE
+  wl-unicode: "\xD8"
+  wl-unicode-name: LATIN CAPITAL LETTER O WITH STROKE
+CapitalOTilde:
+  esc-alias: O~
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xD5"
+  unicode-equivalent-name: LATIN CAPITAL LETTER O WITH TILDE
+  wl-unicode: "\xD5"
+  wl-unicode-name: LATIN CAPITAL LETTER O WITH TILDE
+CapitalOmega:
+  esc-alias: O
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03A9"
+  unicode-equivalent-name: GREEK CAPITAL LETTER OMEGA
+  wl-unicode: "\u03A9"
+  wl-unicode-name: GREEK CAPITAL LETTER OMEGA
+CapitalOmicron:
+  esc-alias: Om
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u039F"
+  unicode-equivalent-name: GREEK CAPITAL LETTER OMICRON
+  wl-unicode: "\u039F"
+  wl-unicode-name: GREEK CAPITAL LETTER OMICRON
+CapitalPhi:
+  esc-alias: Ph
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03A6"
+  unicode-equivalent-name: GREEK CAPITAL LETTER PHI
+  wl-unicode: "\u03A6"
+  wl-unicode-name: GREEK CAPITAL LETTER PHI
+CapitalPi:
+  esc-alias: P
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03A0"
+  unicode-equivalent-name: GREEK CAPITAL LETTER PI
+  wl-unicode: "\u03A0"
+  wl-unicode-name: GREEK CAPITAL LETTER PI
+CapitalPsi:
+  esc-alias: Ps
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03A8"
+  unicode-equivalent-name: GREEK CAPITAL LETTER PSI
+  wl-unicode: "\u03A8"
+  wl-unicode-name: GREEK CAPITAL LETTER PSI
+CapitalRHacek:
+  esc-alias: Rv
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u0158"
+  unicode-equivalent-name: LATIN CAPITAL LETTER R WITH CARON
+  wl-unicode: "\u0158"
+  wl-unicode-name: LATIN CAPITAL LETTER R WITH CARON
+CapitalRho:
+  esc-alias: R
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03A1"
+  unicode-equivalent-name: GREEK CAPITAL LETTER RHO
+  wl-unicode: "\u03A1"
+  wl-unicode-name: GREEK CAPITAL LETTER RHO
+CapitalSHacek:
+  esc-alias: Sv
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u0160"
+  unicode-equivalent-name: LATIN CAPITAL LETTER S WITH CARON
+  wl-unicode: "\u0160"
+  wl-unicode-name: LATIN CAPITAL LETTER S WITH CARON
+CapitalSampi:
+  esc-alias: Sa
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03E0"
+  unicode-equivalent-name: GREEK LETTER SAMPI
+  wl-unicode: "\u03E0"
+  wl-unicode-name: GREEK LETTER SAMPI
+CapitalSigma:
+  esc-alias: S
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03A3"
+  unicode-equivalent-name: GREEK CAPITAL LETTER SIGMA
+  wl-unicode: "\u03A3"
+  wl-unicode-name: GREEK CAPITAL LETTER SIGMA
+CapitalStigma:
+  esc-alias: Sti
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03DA"
+  unicode-equivalent-name: GREEK LETTER STIGMA
+  wl-unicode: "\u03DA"
+  wl-unicode-name: GREEK LETTER STIGMA
+CapitalTHacek:
+  esc-alias: Tv
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u0164"
+  unicode-equivalent-name: LATIN CAPITAL LETTER T WITH CARON
+  wl-unicode: "\u0164"
+  wl-unicode-name: LATIN CAPITAL LETTER T WITH CARON
+CapitalTau:
+  esc-alias: T
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03A4"
+  unicode-equivalent-name: GREEK CAPITAL LETTER TAU
+  wl-unicode: "\u03A4"
+  wl-unicode-name: GREEK CAPITAL LETTER TAU
+CapitalTheta:
+  esc-alias: Th
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u0398"
+  unicode-equivalent-name: GREEK CAPITAL LETTER THETA
+  wl-unicode: "\u0398"
+  wl-unicode-name: GREEK CAPITAL LETTER THETA
+CapitalThorn:
+  esc-alias: Thn
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xDE"
+  unicode-equivalent-name: LATIN CAPITAL LETTER THORN
+  wl-unicode: "\xDE"
+  wl-unicode-name: LATIN CAPITAL LETTER THORN
+CapitalUAcute:
+  esc-alias: U'
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xDA"
+  unicode-equivalent-name: LATIN CAPITAL LETTER U WITH ACUTE
+  wl-unicode: "\xDA"
+  wl-unicode-name: LATIN CAPITAL LETTER U WITH ACUTE
+CapitalUDoubleAcute:
+  esc-alias: U''
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u0170"
+  unicode-equivalent-name: LATIN CAPITAL LETTER U WITH DOUBLE ACUTE
+  wl-unicode: "\u0170"
+  wl-unicode-name: LATIN CAPITAL LETTER U WITH DOUBLE ACUTE
+CapitalUDoubleDot:
+  esc-alias: U"
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xDC"
+  unicode-equivalent-name: LATIN CAPITAL LETTER U WITH DIAERESIS
+  wl-unicode: "\xDC"
+  wl-unicode-name: LATIN CAPITAL LETTER U WITH DIAERESIS
+CapitalUGrave:
+  esc-alias: U`
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xD9"
+  unicode-equivalent-name: LATIN CAPITAL LETTER U WITH GRAVE
+  wl-unicode: "\xD9"
+  wl-unicode-name: LATIN CAPITAL LETTER U WITH GRAVE
+CapitalUHat:
+  esc-alias: U^
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xDB"
+  unicode-equivalent-name: LATIN CAPITAL LETTER U WITH CIRCUMFLEX
+  wl-unicode: "\xDB"
+  wl-unicode-name: LATIN CAPITAL LETTER U WITH CIRCUMFLEX
+CapitalURing:
+  esc-alias: Uo
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u016E"
+  unicode-equivalent-name: LATIN CAPITAL LETTER U WITH RING ABOVE
+  wl-unicode: "\u016E"
+  wl-unicode-name: LATIN CAPITAL LETTER U WITH RING ABOVE
+CapitalUpsilon:
+  esc-alias: U
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03A5"
+  unicode-equivalent-name: GREEK CAPITAL LETTER UPSILON
+  wl-unicode: "\u03A5"
+  wl-unicode-name: GREEK CAPITAL LETTER UPSILON
+CapitalXi:
+  esc-alias: X
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u039E"
+  unicode-equivalent-name: GREEK CAPITAL LETTER XI
+  wl-unicode: "\u039E"
+  wl-unicode-name: GREEK CAPITAL LETTER XI
+CapitalYAcute:
+  esc-alias: Y'
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xDD"
+  unicode-equivalent-name: LATIN CAPITAL LETTER Y WITH ACUTE
+  wl-unicode: "\xDD"
+  wl-unicode-name: LATIN CAPITAL LETTER Y WITH ACUTE
+CapitalZHacek:
+  esc-alias: Zv
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u017D"
+  unicode-equivalent-name: LATIN CAPITAL LETTER Z WITH CARON
+  wl-unicode: "\u017D"
+  wl-unicode-name: LATIN CAPITAL LETTER Z WITH CARON
+CapitalZeta:
+  esc-alias: Z
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u0396"
+  unicode-equivalent-name: GREEK CAPITAL LETTER ZETA
+  wl-unicode: "\u0396"
+  wl-unicode-name: GREEK CAPITAL LETTER ZETA
+CapricornSign:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2651"
+  unicode-equivalent-name: CAPRICORN
+  wl-unicode: "\u2651"
+  wl-unicode-name: CAPRICORN
+Cedilla:
+  esc-alias: cd
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\xB8"
+  unicode-equivalent-name: CEDILLA
+  wl-unicode: "\xB8"
+  wl-unicode-name: CEDILLA
+Cent:
+  esc-alias: cent
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\xA2"
+  unicode-equivalent-name: CENT SIGN
+  wl-unicode: "\xA2"
+  wl-unicode-name: CENT SIGN
+CenterDot:
+  esc-alias: .
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: CenterDot
+  unicode-equivalent: "\xB7"
+  unicode-equivalent-name: MIDDLE DOT
+  wl-unicode: "\xB7"
+  wl-unicode-name: MIDDLE DOT
+CenterEllipsis:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u22EF"
+  unicode-equivalent-name: MIDLINE HORIZONTAL ELLIPSIS
+  wl-unicode: "\u22EF"
+  wl-unicode-name: MIDLINE HORIZONTAL ELLIPSIS
+CheckedBox:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2612"
+  unicode-equivalent-name: BALLOT BOX WITH X
+  wl-unicode: "\u2612"
+  wl-unicode-name: BALLOT BOX WITH X
+Checkmark:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2713"
+  unicode-equivalent-name: CHECK MARK
+  wl-unicode: "\u2713"
+  wl-unicode-name: CHECK MARK
+Chi:
+  esc-alias: ch
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03C7"
+  unicode-equivalent-name: GREEK SMALL LETTER CHI
+  wl-unicode: "\u03C7"
+  wl-unicode-name: GREEK SMALL LETTER CHI
+CircleDot:
+  esc-alias: c.
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: CircleDot
+  unicode-equivalent: "\u2299"
+  unicode-equivalent-name: CIRCLED DOT OPERATOR
+  wl-unicode: "\u2299"
+  wl-unicode-name: CIRCLED DOT OPERATOR
+CircleMinus:
+  esc-alias: c-
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: CircleMinus
+  unicode-equivalent: "\u2296"
+  unicode-equivalent-name: CIRCLED MINUS
+  wl-unicode: "\u2296"
+  wl-unicode-name: CIRCLED MINUS
+CirclePlus:
+  esc-alias: c+
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: CirclePlus
+  unicode-equivalent: "\u2295"
+  unicode-equivalent-name: CIRCLED PLUS
+  wl-unicode: "\u2295"
+  wl-unicode-name: CIRCLED PLUS
+CircleTimes:
+  esc-alias: c*
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: CircleTimes
+  unicode-equivalent: "\u2297"
+  unicode-equivalent-name: CIRCLED TIMES
+  wl-unicode: "\u2297"
+  wl-unicode-name: CIRCLED TIMES
+ClockwiseContourIntegral:
+  esc-alias: ccint
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: ClockwiseContourIntegral
+  unicode-equivalent: "\u2232"
+  unicode-equivalent-name: CLOCKWISE CONTOUR INTEGRAL
+  wl-unicode: "\u2232"
+  wl-unicode-name: CLOCKWISE CONTOUR INTEGRAL
+CloseCurlyDoubleQuote:
+  esc-alias: ']"'
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u201D"
+  unicode-equivalent-name: RIGHT DOUBLE QUOTATION MARK
+  wl-unicode: "\u201D"
+  wl-unicode-name: RIGHT DOUBLE QUOTATION MARK
+CloseCurlyQuote:
+  esc-alias: ']'''
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2019"
+  unicode-equivalent-name: RIGHT SINGLE QUOTATION MARK
+  wl-unicode: "\u2019"
+  wl-unicode-name: RIGHT SINGLE QUOTATION MARK
+CloverLeaf:
+  esc-alias: cl
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2318"
+  unicode-equivalent-name: PLACE OF INTEREST SIGN
+  wl-unicode: "\u2318"
+  wl-unicode-name: PLACE OF INTEREST SIGN
+ClubSuit:
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u2663"
+  unicode-equivalent-name: BLACK CLUB SUIT
+  wl-unicode: "\u2663"
+  wl-unicode-name: BLACK CLUB SUIT
+Colon:
+  esc-alias: ':'
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Colon
+  unicode-equivalent: "\u2236"
+  unicode-equivalent-name: RATIO
+  wl-unicode: "\u2236"
+  wl-unicode-name: RATIO
+CommandKey:
+  esc-alias: cmd
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u2318"
+  unicode-equivalent-name: PLACE OF INTEREST SIGN
+  wl-unicode: "\uF76A"
+Composition:
+  ascii: "@*"
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Composition
+CompoundExpression:
+  ascii: ";"
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: CompoundExpression
+Condition:
+  ascii: "/;"
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Condition
+Conditioned:
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF3D3"
+Congruent:
+  esc-alias: ===
+  has-unicode-inverse: true
+  is-letter-like: false
+  operator-name: Congruent
+  unicode-equivalent: "\u2261"
+  unicode-equivalent-name: IDENTICAL TO
+  wl-unicode: "\u2261"
+  wl-unicode-name: IDENTICAL TO
+Conjugate:
+  esc-alias: co
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF3C8"
+ConjugateTranspose:
+  esc-alias: ct
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF3C9"
+ConstantC:
+  esc-alias: cc
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\U0001D554"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK SMALL C
+  wl-unicode: "\uF7DA"
+Continuation:
+  esc-alias: cont
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u22F1"
+  unicode-equivalent-name: DOWN RIGHT DIAGONAL ELLIPSIS
+  wl-unicode: "\uF3B1"
+ContourIntegral:
+  esc-alias: cint
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: ContourIntegral
+  unicode-equivalent: "\u222E"
+  unicode-equivalent-name: CONTOUR INTEGRAL
+  wl-unicode: "\u222E"
+  wl-unicode-name: CONTOUR INTEGRAL
+ControlKey:
+  esc-alias: ctrl
+  has-unicode-inverse: false
+  is-letter-like: true
+  wl-unicode: "\uF763"
+Coproduct:
+  esc-alias: coprod
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Coproduct
+  unicode-equivalent: "\u2210"
+  unicode-equivalent-name: N-ARY COPRODUCT
+  wl-unicode: "\u2210"
+  wl-unicode-name: N-ARY COPRODUCT
+Copyright:
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\xA9"
+  unicode-equivalent-name: COPYRIGHT SIGN
+  wl-unicode: "\xA9"
+  wl-unicode-name: COPYRIGHT SIGN
+CounterClockwiseContourIntegral:
+  esc-alias: cccint
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: CounterClockwiseContourIntegral
+  unicode-equivalent: "\u2233"
+  unicode-equivalent-name: ANTICLOCKWISE CONTOUR INTEGRAL
+  wl-unicode: "\u2233"
+  wl-unicode-name: ANTICLOCKWISE CONTOUR INTEGRAL
+Cross:
+  esc-alias: cross
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u2A2F"
+  unicode-equivalent-name: VECTOR OR CROSS PRODUCT
+  wl-unicode: "\uF4A0"
+Cup:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Cup
+  unicode-equivalent: "\u2323"
+  unicode-equivalent-name: SMILE
+  wl-unicode: "\u2323"
+  wl-unicode-name: SMILE
+CupCap:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: CupCap
+  unicode-equivalent: "\u224D"
+  unicode-equivalent-name: EQUIVALENT TO
+  wl-unicode: "\u224D"
+  wl-unicode-name: EQUIVALENT TO
+CurlyCapitalUpsilon:
+  esc-alias: cU
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03D2"
+  unicode-equivalent-name: GREEK UPSILON WITH HOOK SYMBOL
+  wl-unicode: "\u03D2"
+  wl-unicode-name: GREEK UPSILON WITH HOOK SYMBOL
+CurlyEpsilon:
+  esc-alias: ce
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03B5"
+  unicode-equivalent-name: GREEK SMALL LETTER EPSILON
+  wl-unicode: "\u03B5"
+  wl-unicode-name: GREEK SMALL LETTER EPSILON
+CurlyKappa:
+  esc-alias: ck
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03F0"
+  unicode-equivalent-name: GREEK KAPPA SYMBOL
+  wl-unicode: "\u03F0"
+  wl-unicode-name: GREEK KAPPA SYMBOL
+CurlyPhi:
+  esc-alias: j
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03C6"
+  unicode-equivalent-name: GREEK SMALL LETTER PHI
+  wl-unicode: "\u03C6"
+  wl-unicode-name: GREEK SMALL LETTER PHI
+CurlyPi:
+  esc-alias: cp
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03D6"
+  unicode-equivalent-name: GREEK PI SYMBOL
+  wl-unicode: "\u03D6"
+  wl-unicode-name: GREEK PI SYMBOL
+CurlyRho:
+  esc-alias: cr
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03F1"
+  unicode-equivalent-name: GREEK RHO SYMBOL
+  wl-unicode: "\u03F1"
+  wl-unicode-name: GREEK RHO SYMBOL
+CurlyTheta:
+  esc-alias: cq
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03D1"
+  unicode-equivalent-name: GREEK THETA SYMBOL
+  wl-unicode: "\u03D1"
+  wl-unicode-name: GREEK THETA SYMBOL
+Currency:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xA4"
+  unicode-equivalent-name: CURRENCY SIGN
+  wl-unicode: "\xA4"
+  wl-unicode-name: CURRENCY SIGN
+DHacek:
+  esc-alias: dv
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u010F"
+  unicode-equivalent-name: LATIN SMALL LETTER D WITH CARON
+  wl-unicode: "\u010F"
+  wl-unicode-name: LATIN SMALL LETTER D WITH CARON
+Dagger:
+  esc-alias: dg
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u2020"
+  unicode-equivalent-name: DAGGER
+  wl-unicode: "\u2020"
+  wl-unicode-name: DAGGER
+Dalet:
+  esc-alias: da
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2138"
+  unicode-equivalent-name: DALET SYMBOL
+  wl-unicode: "\u2138"
+  wl-unicode-name: DALET SYMBOL
+Dash:
+  esc-alias: '-'
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u2013"
+  unicode-equivalent-name: EN DASH
+  wl-unicode: "\u2013"
+  wl-unicode-name: EN DASH
+Decrement:
+  ascii: "--"
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Decrement
+# See also RawQuestion
+Definition:
+  ascii: "?"
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Definition
+
+# \[Degree] is letter-like, not an operator, which is
+# mutually exclusive.
+
+# Therefore, when we write 360° that is analogous to 2π, pun intended,
+# it this interpreted as: 360 times "degree", and analogous to: 2 times
+# "pi".
+
+# Note that writing:
+#  N[\[Degree]] == N[Degree]
+# is valid, and this would not be the case if this symbol were
+# not letterlike.
+
+# On some keyboards 186 can sometimes appear as the keyboad symbol,
+# but according to
+# https://reference.wolfram.com/language/ref/character/Degree.html the
+# right value is 176 which is the same as the Unicode value. These
+# are what are used here.
+
+
+Degree:
+  esc-alias: deg
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\xB0"
+  unicode-equivalent-name: DEGREE SIGN
+  wl-unicode: "\xB0"
+  wl-unicode-name: DEGREE SIGN
+
+Del:
+  esc-alias: del
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Del
+  unicode-equivalent: "\u2207"
+  unicode-equivalent-name: NABLA
+  wl-unicode: "\u2207"
+  wl-unicode-name: NABLA
+DeleteKey:
+  esc-alias: ' del'
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF7D0"
+Delta:
+  esc-alias: d
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03B4"
+  unicode-equivalent-name: GREEK SMALL LETTER DELTA
+  wl-unicode: "\u03B4"
+  wl-unicode-name: GREEK SMALL LETTER DELTA
+Derivative:
+  ascii: "'"
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Derivative
+DescendingEllipsis:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u22F1"
+  unicode-equivalent-name: DOWN RIGHT DIAGONAL ELLIPSIS
+  wl-unicode: "\u22F1"
+  wl-unicode-name: DOWN RIGHT DIAGONAL ELLIPSIS
+Diameter:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2300"
+  unicode-equivalent-name: DIAMETER SIGN
+  wl-unicode: "\u2300"
+  wl-unicode-name: DIAMETER SIGN
+Diamond:
+  esc-alias: dia
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u22C4"
+  unicode-equivalent-name: DIAMOND OPERATOR
+  wl-unicode: "\u22C4"
+  wl-unicode-name: DIAMOND OPERATOR
+DiamondSuit:
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u2662"
+  unicode-equivalent-name: WHITE DIAMOND SUIT
+  wl-unicode: "\u2662"
+  wl-unicode-name: WHITE DIAMOND SUIT
+DifferenceDelta:
+  esc-alias: diffd
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2206"
+  unicode-equivalent-name: INCREMENT
+  wl-unicode: "\u2206"
+  wl-unicode-name: INCREMENT
+
+# There was been some discussion as to what to use
+# here. The concensus was this.
+DifferentialD:
+  esc-alias: dd
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D451"
+  unicode-equivalent-name: MATHEMATICAL ITALIC SMALL D
+  wl-unicode: "\uF74C"
+Digamma:
+  esc-alias: di
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03DD"
+  unicode-equivalent-name: GREEK SMALL LETTER DIGAMMA
+  wl-unicode: "\u03DD"
+  wl-unicode-name: GREEK SMALL LETTER DIGAMMA
+DirectedEdge:
+  esc-alias: de
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2192"
+  unicode-equivalent-name: RIGHTWARDS ARROW
+  wl-unicode: "\uF3D5"
+DiscreteRatio:
+  esc-alias: dratio
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03F4"
+  unicode-equivalent-name: GREEK CAPITAL THETA SYMBOL
+  wl-unicode: "\uF4A4"
+DiscreteShift:
+  esc-alias: shift
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF4A3"
+DiscretionaryHyphen:
+  esc-alias: dhy
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\xAD"
+  wl-unicode-name: SOFT HYPHEN
+DiscretionaryLineSeparator:
+  esc-alias: dlsep
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF76E"
+DiscretionaryPageBreakAbove:
+  esc-alias: dpba
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF3BF"
+DiscretionaryPageBreakBelow:
+  esc-alias: dpbb
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF3C6"
+DiscretionaryParagraphSeparator:
+  esc-alias: dpsep
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF76F"
+Distributed:
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF3D2"
+Divide:
+  ascii: "/"
+  esc-alias: div
+  has-unicode-inverse: true
+  is-letter-like: false
+  operator-name: Divide
+  unicode-equivalent: "\xF7"
+  unicode-equivalent-name: DIVISION SIGN
+  wl-unicode: "\xF7"
+  wl-unicode-name: DIVISION SIGN
+DivideBy:
+  ascii: "/="
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: DivideBy
+Divides:
+  esc-alias: divides
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2223"
+  unicode-equivalent-name: DIVIDES
+  wl-unicode: "\u2223"
+  wl-unicode-name: DIVIDES
+Dot:
+  ascii: "."
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Dot
+  unicode-equivalent: "."
+  unicode-equivalent-name: FULL STOP
+  wl-unicode: "."
+  wl-unicode-name: FULL STOP
+DotEqual:
+  esc-alias: .=
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: DotEqual
+  unicode-equivalent: "\u2250"
+  unicode-equivalent-name: APPROACHES THE LIMIT
+  wl-unicode: "\u2250"
+  wl-unicode-name: APPROACHES THE LIMIT
+DotlessI:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u0131"
+  unicode-equivalent-name: LATIN SMALL LETTER DOTLESS I
+  wl-unicode: "\u0131"
+  wl-unicode-name: LATIN SMALL LETTER DOTLESS I
+DotlessJ:
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u0237"
+  unicode-equivalent-name: LATIN SMALL LETTER DOTLESS J
+  wl-unicode: "\uF700"
+DottedSquare:
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u26F6"
+  unicode-equivalent-name: SQUARE FOUR CORNERS
+  wl-unicode: "\uF751"
+DoubleContourIntegral:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: DoubleContourIntegral
+  unicode-equivalent: "\u222F"
+  unicode-equivalent-name: SURFACE INTEGRAL
+  wl-unicode: "\u222F"
+  wl-unicode-name: SURFACE INTEGRAL
+DoubleDagger:
+  esc-alias: ddg
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u2021"
+  unicode-equivalent-name: DOUBLE DAGGER
+  wl-unicode: "\u2021"
+  wl-unicode-name: DOUBLE DAGGER
+DoubleDot:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xA8"
+  unicode-equivalent-name: DIAERESIS
+  wl-unicode: "\xA8"
+  wl-unicode-name: DIAERESIS
+DoubleDownArrow:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: DoubleDownArrow
+  unicode-equivalent: "\u21D3"
+  unicode-equivalent-name: DOWNWARDS DOUBLE ARROW
+  wl-unicode: "\u21D3"
+  wl-unicode-name: DOWNWARDS DOUBLE ARROW
+DoubleLeftArrow:
+  esc-alias: ' <='
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: DoubleLeftArrow
+  unicode-equivalent: "\u21D0"
+  unicode-equivalent-name: LEFTWARDS DOUBLE ARROW
+  wl-unicode: "\u21D0"
+  wl-unicode-name: LEFTWARDS DOUBLE ARROW
+DoubleLeftRightArrow:
+  esc-alias: <=>
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: DoubleLeftRightArrow
+  unicode-equivalent: "\u21D4"
+  unicode-equivalent-name: LEFT RIGHT DOUBLE ARROW
+  wl-unicode: "\u21D4"
+  wl-unicode-name: LEFT RIGHT DOUBLE ARROW
+DoubleLeftTee:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: DoubleLeftTee
+  unicode-equivalent: "\u2AE4"
+  unicode-equivalent-name: VERTICAL BAR DOUBLE LEFT TURNSTILE
+  wl-unicode: "\u2AE4"
+  wl-unicode-name: VERTICAL BAR DOUBLE LEFT TURNSTILE
+DoubleLongLeftArrow:
+  esc-alias: <==
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: DoubleLongLeftArrow
+  unicode-equivalent: "\u27F8"
+  unicode-equivalent-name: LONG LEFTWARDS DOUBLE ARROW
+  wl-unicode: "\u27F8"
+  wl-unicode-name: LONG LEFTWARDS DOUBLE ARROW
+DoubleLongLeftRightArrow:
+  esc-alias: <==>
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: DoubleLongLeftRightArrow
+  unicode-equivalent: "\u27FA"
+  unicode-equivalent-name: LONG LEFT RIGHT DOUBLE ARROW
+  wl-unicode: "\u27FA"
+  wl-unicode-name: LONG LEFT RIGHT DOUBLE ARROW
+DoubleLongRightArrow:
+  esc-alias: ==>
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: DoubleLongRightArrow
+  unicode-equivalent: "\u27F9"
+  unicode-equivalent-name: LONG RIGHTWARDS DOUBLE ARROW
+  wl-unicode: "\u27F9"
+  wl-unicode-name: LONG RIGHTWARDS DOUBLE ARROW
+DoublePrime:
+  esc-alias: ''''''
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u2033"
+  unicode-equivalent-name: DOUBLE PRIME
+  wl-unicode: "\u2033"
+  wl-unicode-name: DOUBLE PRIME
+DoubleRightArrow:
+  esc-alias: ' =>'
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: DoubleRightArrow
+  unicode-equivalent: "\u21D2"
+  unicode-equivalent-name: RIGHTWARDS DOUBLE ARROW
+  wl-unicode: "\u21D2"
+  wl-unicode-name: RIGHTWARDS DOUBLE ARROW
+DoubleRightTee:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u22A8"
+  unicode-equivalent-name: 'TRUE'
+  operator-name: DoubleRightTee
+  wl-unicode: "\u22A8"
+  wl-unicode-name: 'TRUE'
+DoubleStruckA:
+  esc-alias: dsa
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D552"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK SMALL A
+  wl-unicode: "\uF6E6"
+DoubleStruckB:
+  esc-alias: dsb
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D553"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK SMALL B
+  wl-unicode: "\uF6E7"
+DoubleStruckC:
+  esc-alias: dsc
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D554"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK SMALL C
+  wl-unicode: "\uF6E8"
+DoubleStruckCapitalA:
+  esc-alias: dsA
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D538"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK CAPITAL A
+  wl-unicode: "\uF7A4"
+DoubleStruckCapitalB:
+  esc-alias: dsB
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D539"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK CAPITAL B
+  wl-unicode: "\uF7A5"
+DoubleStruckCapitalC:
+  esc-alias: dsC
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u2102"
+  unicode-equivalent-name: DOUBLE-STRUCK CAPITAL C
+  wl-unicode: "\uF7A6"
+DoubleStruckCapitalD:
+  esc-alias: dsD
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D53B"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK CAPITAL D
+  wl-unicode: "\uF7A7"
+DoubleStruckCapitalE:
+  esc-alias: dsE
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D53C"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK CAPITAL E
+  wl-unicode: "\uF7A8"
+DoubleStruckCapitalF:
+  esc-alias: dsF
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D53D"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK CAPITAL F
+  wl-unicode: "\uF7A9"
+DoubleStruckCapitalG:
+  esc-alias: dsG
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D53E"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK CAPITAL G
+  wl-unicode: "\uF7AA"
+DoubleStruckCapitalH:
+  esc-alias: dsH
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u210D"
+  unicode-equivalent-name: DOUBLE-STRUCK CAPITAL H
+  wl-unicode: "\uF7AB"
+DoubleStruckCapitalI:
+  esc-alias: dsI
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D540"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK CAPITAL I
+  wl-unicode: "\uF7AC"
+DoubleStruckCapitalJ:
+  esc-alias: dsJ
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D541"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK CAPITAL J
+  wl-unicode: "\uF7AD"
+DoubleStruckCapitalK:
+  esc-alias: dsK
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D542"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK CAPITAL K
+  wl-unicode: "\uF7AE"
+DoubleStruckCapitalL:
+  esc-alias: dsL
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D543"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK CAPITAL L
+  wl-unicode: "\uF7AF"
+DoubleStruckCapitalM:
+  esc-alias: dsM
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D544"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK CAPITAL M
+  wl-unicode: "\uF7B0"
+DoubleStruckCapitalN:
+  esc-alias: dsN
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u2115"
+  unicode-equivalent-name: DOUBLE-STRUCK CAPITAL N
+  wl-unicode: "\uF7B1"
+DoubleStruckCapitalO:
+  esc-alias: dsO
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D546"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK CAPITAL O
+  wl-unicode: "\uF7B2"
+DoubleStruckCapitalP:
+  esc-alias: dsP
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u2119"
+  unicode-equivalent-name: DOUBLE-STRUCK CAPITAL P
+  wl-unicode: "\uF7B3"
+DoubleStruckCapitalQ:
+  esc-alias: dsQ
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u211A"
+  unicode-equivalent-name: DOUBLE-STRUCK CAPITAL Q
+  wl-unicode: "\uF7B4"
+DoubleStruckCapitalR:
+  esc-alias: dsR
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u211D"
+  unicode-equivalent-name: DOUBLE-STRUCK CAPITAL R
+  wl-unicode: "\uF7B5"
+DoubleStruckCapitalS:
+  esc-alias: dsS
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D54A"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK CAPITAL S
+  wl-unicode: "\uF7B6"
+DoubleStruckCapitalT:
+  esc-alias: dsT
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D54B"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK CAPITAL T
+  wl-unicode: "\uF7B7"
+DoubleStruckCapitalU:
+  esc-alias: dsU
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D54C"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK CAPITAL U
+  wl-unicode: "\uF7B8"
+DoubleStruckCapitalV:
+  esc-alias: dsV
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D54D"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK CAPITAL V
+  wl-unicode: "\uF7B9"
+DoubleStruckCapitalW:
+  esc-alias: dsW
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D54E"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK CAPITAL W
+  wl-unicode: "\uF7BA"
+DoubleStruckCapitalX:
+  esc-alias: dsX
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D54F"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK CAPITAL X
+  wl-unicode: "\uF7BB"
+DoubleStruckCapitalY:
+  esc-alias: dsY
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D550"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK CAPITAL Y
+  wl-unicode: "\uF7BC"
+DoubleStruckCapitalZ:
+  esc-alias: dsZ
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u2124"
+  unicode-equivalent-name: DOUBLE-STRUCK CAPITAL Z
+  wl-unicode: "\uF7BD"
+DoubleStruckD:
+  esc-alias: dsd
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D555"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK SMALL D
+  wl-unicode: "\uF6E9"
+DoubleStruckE:
+  esc-alias: dse
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D556"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK SMALL E
+  wl-unicode: "\uF6EA"
+DoubleStruckEight:
+  esc-alias: ds8
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D7E0"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK DIGIT EIGHT
+  wl-unicode: "\uF7E3"
+DoubleStruckF:
+  esc-alias: dsf
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D557"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK SMALL F
+  wl-unicode: "\uF6EB"
+DoubleStruckFive:
+  esc-alias: ds5
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D7DD"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK DIGIT FIVE
+  wl-unicode: "\uF7E0"
+DoubleStruckFour:
+  esc-alias: ds4
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D7DC"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK DIGIT FOUR
+  wl-unicode: "\uF7DF"
+DoubleStruckG:
+  esc-alias: dsg
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D558"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK SMALL G
+  wl-unicode: "\uF6EC"
+DoubleStruckH:
+  esc-alias: dsh
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D559"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK SMALL H
+  wl-unicode: "\uF6ED"
+DoubleStruckI:
+  esc-alias: dsi
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D55A"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK SMALL I
+  wl-unicode: "\uF6EE"
+DoubleStruckJ:
+  esc-alias: dsj
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D55B"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK SMALL J
+  wl-unicode: "\uF6EF"
+DoubleStruckK:
+  esc-alias: dsk
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D55C"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK SMALL K
+  wl-unicode: "\uF6F0"
+DoubleStruckL:
+  esc-alias: dsl
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D55D"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK SMALL L
+  wl-unicode: "\uF6F1"
+DoubleStruckM:
+  esc-alias: dsm
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D55E"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK SMALL M
+  wl-unicode: "\uF6F2"
+DoubleStruckN:
+  esc-alias: dsn
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D55F"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK SMALL N
+  wl-unicode: "\uF6F3"
+DoubleStruckNine:
+  esc-alias: ds9
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D7E1"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK DIGIT NINE
+  wl-unicode: "\uF7E4"
+DoubleStruckO:
+  esc-alias: dso
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D560"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK SMALL O
+  wl-unicode: "\uF6F4"
+DoubleStruckOne:
+  esc-alias: ds1
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D7D9"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK DIGIT ONE
+  wl-unicode: "\uF7DC"
+DoubleStruckP:
+  esc-alias: dsp
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D561"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK SMALL P
+  wl-unicode: "\uF6F5"
+DoubleStruckQ:
+  esc-alias: dsq
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D562"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK SMALL Q
+  wl-unicode: "\uF6F6"
+DoubleStruckR:
+  esc-alias: dsr
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D563"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK SMALL R
+  wl-unicode: "\uF6F7"
+DoubleStruckS:
+  esc-alias: dss
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D564"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK SMALL S
+  wl-unicode: "\uF6F8"
+DoubleStruckSeven:
+  esc-alias: ds7
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D7DF"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK DIGIT SEVEN
+  wl-unicode: "\uF7E2"
+DoubleStruckSix:
+  esc-alias: ds6
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D7DE"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK DIGIT SIX
+  wl-unicode: "\uF7E1"
+DoubleStruckT:
+  esc-alias: dst
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D565"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK SMALL T
+  wl-unicode: "\uF6F9"
+DoubleStruckThree:
+  esc-alias: ds3
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D7DB"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK DIGIT THREE
+  wl-unicode: "\uF7DE"
+DoubleStruckTwo:
+  esc-alias: ds2
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D7DA"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK DIGIT TWO
+  wl-unicode: "\uF7DD"
+DoubleStruckU:
+  esc-alias: dsu
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D566"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK SMALL U
+  wl-unicode: "\uF6FA"
+DoubleStruckV:
+  esc-alias: dsv
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D567"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK SMALL V
+  wl-unicode: "\uF6FB"
+DoubleStruckW:
+  esc-alias: dsw
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D568"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK SMALL W
+  wl-unicode: "\uF6FC"
+DoubleStruckX:
+  esc-alias: dsx
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D569"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK SMALL X
+  wl-unicode: "\uF6FD"
+DoubleStruckY:
+  esc-alias: dsy
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D56A"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK SMALL Y
+  wl-unicode: "\uF6FE"
+DoubleStruckZ:
+  esc-alias: dsz
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D56B"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK SMALL Z
+  wl-unicode: "\uF6FF"
+DoubleStruckZero:
+  esc-alias: ds0
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D7D8"
+  unicode-equivalent-name: MATHEMATICAL DOUBLE-STRUCK DIGIT ZERO
+  wl-unicode: "\uF7DB"
+DoubleUpArrow:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: DoubleUpArrow
+  unicode-equivalent: "\u21D1"
+  unicode-equivalent-name: UPWARDS DOUBLE ARROW
+  wl-unicode: "\u21D1"
+  wl-unicode-name: UPWARDS DOUBLE ARROW
+DoubleUpDownArrow:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: DoubleUpDownArrow
+  unicode-equivalent: "\u21D5"
+  unicode-equivalent-name: UP DOWN DOUBLE ARROW
+  wl-unicode: "\u21D5"
+  wl-unicode-name: UP DOWN DOUBLE ARROW
+DoubleVerticalBar:
+  esc-alias: ' ||'
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: DoubleVerticalBar
+  unicode-equivalent: "\u2225"
+  unicode-equivalent-name: PARALLEL TO
+  wl-unicode: "\u2225"
+  wl-unicode-name: PARALLEL TO
+DoubledGamma:
+  esc-alias: gg
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u213D"
+  unicode-equivalent-name: DOUBLE-STRUCK SMALL GAMMA
+  wl-unicode: "\uF74A"
+DoubledPi:
+  esc-alias: pp
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u213C"
+  unicode-equivalent-name: DOUBLE-STRUCK SMALL PI
+  wl-unicode: "\uF749"
+DownArrow:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: DownArrow
+  unicode-equivalent: "\u2193"
+  unicode-equivalent-name: DOWNWARDS ARROW
+  wl-unicode: "\u2193"
+  wl-unicode-name: DOWNWARDS ARROW
+DownArrowBar:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: DownArrowBar
+  unicode-equivalent: "\u2913"
+  unicode-equivalent-name: DOWNWARDS ARROW TO BAR
+  wl-unicode: "\u2913"
+  wl-unicode-name: DOWNWARDS ARROW TO BAR
+DownArrowUpArrow:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: DownArrowUpArrow
+  unicode-equivalent: "\u21F5"
+  unicode-equivalent-name: DOWNWARDS ARROW LEFTWARDS OF UPWARDS ARROW
+  wl-unicode: "\u21F5"
+  wl-unicode-name: DOWNWARDS ARROW LEFTWARDS OF UPWARDS ARROW
+DownBreve:
+  esc-alias: dbv
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: " \u0311"
+  unicode-equivalent-name: SPACE + COMBINING INVERTED BREVE
+  wl-unicode: "\uF755"
+DownExclamation:
+  esc-alias: d!
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\xA1"
+  unicode-equivalent-name: INVERTED EXCLAMATION MARK
+  wl-unicode: "\xA1"
+  wl-unicode-name: INVERTED EXCLAMATION MARK
+DownLeftRightVector:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: DownLeftRightVector
+  unicode-equivalent: "\u2950"
+  unicode-equivalent-name: LEFT BARB DOWN RIGHT BARB DOWN HARPOON
+  wl-unicode: "\u2950"
+  wl-unicode-name: LEFT BARB DOWN RIGHT BARB DOWN HARPOON
+DownLeftTeeVector:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: DownLeftTeeVector
+  unicode-equivalent: "\u295E"
+  unicode-equivalent-name: LEFTWARDS HARPOON WITH BARB DOWN FROM BAR
+  wl-unicode: "\u295E"
+  wl-unicode-name: LEFTWARDS HARPOON WITH BARB DOWN FROM BAR
+DownLeftVector:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: DownLeftVector
+  unicode-equivalent: "\u21BD"
+  unicode-equivalent-name: LEFTWARDS HARPOON WITH BARB DOWNWARDS
+  wl-unicode: "\u21BD"
+  wl-unicode-name: LEFTWARDS HARPOON WITH BARB DOWNWARDS
+DownLeftVectorBar:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: DownLeftVectorBar
+  unicode-equivalent: "\u2956"
+  unicode-equivalent-name: LEFTWARDS HARPOON WITH BARB DOWN TO BAR
+  wl-unicode: "\u2956"
+  wl-unicode-name: LEFTWARDS HARPOON WITH BARB DOWN TO BAR
+DownPointer:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: DownPointer
+  unicode-equivalent: "\u25BE"
+  unicode-equivalent-name: BLACK DOWN-POINTING SMALL TRIANGLE
+  wl-unicode: "\u25BE"
+  wl-unicode-name: BLACK DOWN-POINTING SMALL TRIANGLE
+DownQuestion:
+  esc-alias: d?
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\xBF"
+  unicode-equivalent-name: INVERTED QUESTION MARK
+  wl-unicode: "\xBF"
+  wl-unicode-name: INVERTED QUESTION MARK
+DownRightTeeVector:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: DownRightTeeVector
+  unicode-equivalent: "\u295F"
+  unicode-equivalent-name: RIGHTWARDS HARPOON WITH BARB DOWN FROM BAR
+  wl-unicode: "\u295F"
+  wl-unicode-name: RIGHTWARDS HARPOON WITH BARB DOWN FROM BAR
+DownRightVector:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: DownRightVector
+  unicode-equivalent: "\u21C1"
+  unicode-equivalent-name: RIGHTWARDS HARPOON WITH BARB DOWNWARDS
+  wl-unicode: "\u21C1"
+  wl-unicode-name: RIGHTWARDS HARPOON WITH BARB DOWNWARDS
+DownRightVectorBar:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: DownRightVectorBar
+  unicode-equivalent: "\u2957"
+  unicode-equivalent-name: RIGHTWARDS HARPOON WITH BARB DOWN TO BAR
+  wl-unicode: "\u2957"
+  wl-unicode-name: RIGHTWARDS HARPOON WITH BARB DOWN TO BAR
+DownTee:
+  esc-alias: dT
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: DownTee
+  unicode-equivalent: "\u22A4"
+  unicode-equivalent-name: DOWN TACK
+  wl-unicode: "\u22A4"
+  wl-unicode-name: DOWN TACK
+DownTeeArrow:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: DownTeeArrow
+  unicode-equivalent: "\u21A7"
+  unicode-equivalent-name: DOWNWARDS ARROW FROM BAR
+  wl-unicode: "\u21A7"
+  wl-unicode-name: DOWNWARDS ARROW FROM BAR
+EAcute:
+  esc-alias: e'
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xE9"
+  unicode-equivalent-name: LATIN SMALL LETTER E WITH ACUTE
+  wl-unicode: "\xE9"
+  wl-unicode-name: LATIN SMALL LETTER E WITH ACUTE
+EBar:
+  esc-alias: e-
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u0113"
+  unicode-equivalent-name: LATIN SMALL LETTER E WITH MACRON
+  wl-unicode: "\u0113"
+  wl-unicode-name: LATIN SMALL LETTER E WITH MACRON
+ECup:
+  esc-alias: eu
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u0115"
+  unicode-equivalent-name: LATIN SMALL LETTER E WITH BREVE
+  wl-unicode: "\u0115"
+  wl-unicode-name: LATIN SMALL LETTER E WITH BREVE
+EDoubleDot:
+  esc-alias: e"
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xEB"
+  unicode-equivalent-name: LATIN SMALL LETTER E WITH DIAERESIS
+  wl-unicode: "\xEB"
+  wl-unicode-name: LATIN SMALL LETTER E WITH DIAERESIS
+EGrave:
+  esc-alias: e`
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xE8"
+  unicode-equivalent-name: LATIN SMALL LETTER E WITH GRAVE
+  wl-unicode: "\xE8"
+  wl-unicode-name: LATIN SMALL LETTER E WITH GRAVE
+EHacek:
+  esc-alias: ev
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u011B"
+  unicode-equivalent-name: LATIN SMALL LETTER E WITH CARON
+  wl-unicode: "\u011B"
+  wl-unicode-name: LATIN SMALL LETTER E WITH CARON
+EHat:
+  esc-alias: e^
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xEA"
+  unicode-equivalent-name: LATIN SMALL LETTER E WITH CIRCUMFLEX
+  wl-unicode: "\xEA"
+  wl-unicode-name: LATIN SMALL LETTER E WITH CIRCUMFLEX
+Earth:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2641"
+  unicode-equivalent-name: EARTH
+  wl-unicode: "\u2641"
+  wl-unicode-name: EARTH
+EighthNote:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u266A"
+  unicode-equivalent-name: EIGHTH NOTE
+  wl-unicode: "\u266A"
+  wl-unicode-name: EIGHTH NOTE
+Element:
+  esc-alias: el
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Element
+  unicode-equivalent: "\u2208"
+  unicode-equivalent-name: ELEMENT OF
+  wl-unicode: "\u2208"
+  wl-unicode-name: ELEMENT OF
+Ellipsis:
+  esc-alias: '...'
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u2026"
+  unicode-equivalent-name: HORIZONTAL ELLIPSIS
+  wl-unicode: "\u2026"
+  wl-unicode-name: HORIZONTAL ELLIPSIS
+EmptyCircle:
+  esc-alias: eci
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u25CB"
+  unicode-equivalent-name: WHITE CIRCLE
+  wl-unicode: "\u25CB"
+  wl-unicode-name: WHITE CIRCLE
+EmptyDiamond:
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u25C7"
+  unicode-equivalent-name: WHITE DIAMOND
+  wl-unicode: "\u25C7"
+  wl-unicode-name: WHITE DIAMOND
+EmptyDownTriangle:
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u25BD"
+  unicode-equivalent-name: WHITE DOWN-POINTING TRIANGLE
+  wl-unicode: "\u25BD"
+  wl-unicode-name: WHITE DOWN-POINTING TRIANGLE
+EmptyRectangle:
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u25AF"
+  unicode-equivalent-name: WHITE VERTICAL RECTANGLE
+  wl-unicode: "\u25AF"
+  wl-unicode-name: WHITE VERTICAL RECTANGLE
+EmptySet:
+  esc-alias: es
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u2205"
+  unicode-equivalent-name: EMPTY SET
+  wl-unicode: "\u2205"
+  wl-unicode-name: EMPTY SET
+EmptySmallCircle:
+  esc-alias: esci
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u25E6"
+  unicode-equivalent-name: WHITE BULLET
+  wl-unicode: "\u25E6"
+  wl-unicode-name: WHITE BULLET
+EmptySmallSquare:
+  esc-alias: essq
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u25FB"
+  unicode-equivalent-name: WHITE MEDIUM SQUARE
+  wl-unicode: "\u25FB"
+  wl-unicode-name: WHITE MEDIUM SQUARE
+EmptySquare:
+  esc-alias: esq
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u25A1"
+  unicode-equivalent-name: WHITE SQUARE
+  wl-unicode: "\u25A1"
+  wl-unicode-name: WHITE SQUARE
+EmptyUpTriangle:
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u25B3"
+  unicode-equivalent-name: WHITE UP-POINTING TRIANGLE
+  wl-unicode: "\u25B3"
+  wl-unicode-name: WHITE UP-POINTING TRIANGLE
+EmptyVerySmallSquare:
+  esc-alias: evssq
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u25AB"
+  unicode-equivalent-name: WHITE SMALL SQUARE
+  wl-unicode: "\u25AB"
+  wl-unicode-name: WHITE SMALL SQUARE
+EnterKey:
+  esc-alias: ent
+  has-unicode-inverse: false
+  is-letter-like: true
+  wl-unicode: "\uF7D4"
+EntityEnd:
+  has-unicode-inverse: false
+  is-letter-like: true
+  wl-unicode: "\uF3B9"
+EntityStart:
+  has-unicode-inverse: false
+  is-letter-like: true
+  wl-unicode: "\uF3B8"
+Epsilon:
+  esc-alias: e
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03F5"
+  unicode-equivalent-name: GREEK LUNATE EPSILON SYMBOL
+  wl-unicode: "\u03F5"
+  wl-unicode-name: GREEK LUNATE EPSILON SYMBOL
+Equal:
+  ascii: "=="
+  esc-alias: "=="
+  has-unicode-inverse: true
+  is-letter-like: false
+  operator-name: Equal
+  unicode-equivalent: "\u2A75"
+  unicode-equivalent-name: TWO CONSECUTIVE EQUALS SIGNS
+  wl-unicode: "\uF431"
+EqualTilde:
+  esc-alias: =~
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: EqualTilde
+  unicode-equivalent: "\u2242"
+  unicode-equivalent-name: MINUS TILDE
+  wl-unicode: "\u2242"
+  wl-unicode-name: MINUS TILDE
+Equilibrium:
+  esc-alias: equi
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Equilibrium
+  unicode-equivalent: "\u21CC"
+  unicode-equivalent-name: RIGHTWARDS HARPOON OVER LEFTWARDS HARPOON
+  wl-unicode: "\u21CC"
+  wl-unicode-name: RIGHTWARDS HARPOON OVER LEFTWARDS HARPOON
+Equivalent:
+  esc-alias: equiv
+  has-unicode-inverse: true
+  is-letter-like: false
+  operator-name: Equivalent
+  unicode-equivalent: "\u29E6"
+  unicode-equivalent-name: GLEICH STARK
+  wl-unicode: "\u29E6"
+  wl-unicode-name: GLEICH STARK
+ErrorIndicator:
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF767"
+EscapeKey:
+  esc-alias: ' esc'
+  has-unicode-inverse: false
+  is-letter-like: true
+  wl-unicode: "\uF769"
+Eta:
+  esc-alias: et
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03B7"
+  unicode-equivalent-name: GREEK SMALL LETTER ETA
+  wl-unicode: "\u03B7"
+  wl-unicode-name: GREEK SMALL LETTER ETA
+Eth:
+  esc-alias: d-
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xF0"
+  unicode-equivalent-name: LATIN SMALL LETTER ETH
+  wl-unicode: "\xF0"
+  wl-unicode-name: LATIN SMALL LETTER ETH
+Euro:
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u20AC"
+  unicode-equivalent-name: EURO SIGN
+  wl-unicode: "\u20AC"
+  wl-unicode-name: EURO SIGN
+Exists:
+  esc-alias: ex
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Exists
+  unicode-equivalent: "\u2203"
+  unicode-equivalent-name: THERE EXISTS
+  wl-unicode: "\u2203"
+  wl-unicode-name: THERE EXISTS
+ExponentialE:
+  esc-alias: ee
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u2147"
+  unicode-equivalent-name: DOUBLE-STRUCK ITALIC SMALL E
+  wl-unicode: "\uF74D"
+Factorial:
+  ascii: "!"
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Factorial
+  unicode-equivalent: "!"
+  unicode-equivalent-name: EXCLAMATION MARK
+  wl-unicode: "!"
+  wl-unicode-name: EXCLAMATION MARK
+FiLigature:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\uFB01"
+  unicode-equivalent-name: LATIN SMALL LIGATURE FI
+  wl-unicode: "\uFB01"
+  wl-unicode-name: LATIN SMALL LIGATURE FI
+FilledCircle:
+  esc-alias: fci
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u25CF"
+  unicode-equivalent-name: BLACK CIRCLE
+  wl-unicode: "\u25CF"
+  wl-unicode-name: BLACK CIRCLE
+FilledDiamond:
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u25C6"
+  unicode-equivalent-name: BLACK DIAMOND
+  wl-unicode: "\u25C6"
+  wl-unicode-name: BLACK DIAMOND
+FilledDownTriangle:
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u25BC"
+  unicode-equivalent-name: BLACK DOWN-POINTING TRIANGLE
+  wl-unicode: "\u25BC"
+  wl-unicode-name: BLACK DOWN-POINTING TRIANGLE
+FilledLeftTriangle:
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u25C0"
+  unicode-equivalent-name: BLACK LEFT-POINTING TRIANGLE
+  wl-unicode: "\u25C0"
+  wl-unicode-name: BLACK LEFT-POINTING TRIANGLE
+FilledRectangle:
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u25AE"
+  unicode-equivalent-name: BLACK VERTICAL RECTANGLE
+  wl-unicode: "\u25AE"
+  wl-unicode-name: BLACK VERTICAL RECTANGLE
+FilledRightTriangle:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u25B6"
+  unicode-equivalent-name: BLACK RIGHT-POINTING TRIANGLE
+  wl-unicode: "\u25B6"
+  wl-unicode-name: BLACK RIGHT-POINTING TRIANGLE
+FilledSmallCircle:
+  esc-alias: fsci
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u2022"
+  unicode-equivalent-name: BULLET
+  wl-unicode: "\uF750"
+FilledSmallSquare:
+  esc-alias: fssq
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u25FC"
+  unicode-equivalent-name: BLACK MEDIUM SQUARE
+  wl-unicode: "\u25FC"
+  wl-unicode-name: BLACK MEDIUM SQUARE
+FilledSquare:
+  esc-alias: fsq
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u25A0"
+  unicode-equivalent-name: BLACK SQUARE
+  wl-unicode: "\u25A0"
+  wl-unicode-name: BLACK SQUARE
+FilledUpTriangle:
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u25B2"
+  unicode-equivalent-name: BLACK UP-POINTING TRIANGLE
+  wl-unicode: "\u25B2"
+  wl-unicode-name: BLACK UP-POINTING TRIANGLE
+FilledVerySmallSquare:
+  esc-alias: fvssq
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u25AA"
+  unicode-equivalent-name: BLACK SMALL SQUARE
+  wl-unicode: "\u25AA"
+  wl-unicode-name: BLACK SMALL SQUARE
+FinalSigma:
+  esc-alias: fs
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03C2"
+  unicode-equivalent-name: GREEK SMALL LETTER FINAL SIGMA
+  wl-unicode: "\u03C2"
+  wl-unicode-name: GREEK SMALL LETTER FINAL SIGMA
+FirstPage:
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF7FA"
+FivePointedStar:
+  esc-alias: '*5'
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u2605"
+  unicode-equivalent-name: BLACK STAR
+  wl-unicode: "\u2605"
+  wl-unicode-name: BLACK STAR
+FlLigature:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\uFB02"
+  unicode-equivalent-name: LATIN SMALL LIGATURE FL
+  wl-unicode: "\uFB02"
+  wl-unicode-name: LATIN SMALL LIGATURE FL
+Flat:
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u266D"
+  unicode-equivalent-name: MUSIC FLAT SIGN
+  wl-unicode: "\u266D"
+  wl-unicode-name: MUSIC FLAT SIGN
+Florin:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u0192"
+  unicode-equivalent-name: LATIN SMALL LETTER F WITH HOOK
+  wl-unicode: "\u0192"
+  wl-unicode-name: LATIN SMALL LETTER F WITH HOOK
+ForAll:
+  esc-alias: fa
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: ForAll
+  unicode-equivalent: "\u2200"
+  unicode-equivalent-name: FOR ALL
+  wl-unicode: "\u2200"
+  wl-unicode-name: FOR ALL
+FormalA:
+  esc-alias: .a
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u1EA1"
+  unicode-equivalent-name: LATIN SMALL LETTER A WITH DOT BELOW
+  wl-unicode: "\uF800"
+
+# There are a number of "formal" letters - letters with a dot
+# underneath - that do not have a single-character Unicode entry.  In
+# these cases we use a Unicode combining symbol to render an
+# equivalent.
+FormalAlpha:
+  esc-alias: .Alpha
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03B1\u0323"
+  unicode-equivalent-name: GREEK SMALL LETTER ALPHA + COMBINING DOT BELOW
+  wl-unicode: "\uF854"
+FormalB:
+  esc-alias: .b
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u1E05"
+  unicode-equivalent-name: LATIN SMALL LETTER B WITH DOT BELOW
+  wl-unicode: "\uF801"
+FormalBeta:
+  esc-alias: .Beta
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03B2\u0323"
+  unicode-equivalent-name: GREEK SMALL LETTER BETA + COMBINING DOT BELOW
+  wl-unicode: "\uF855"
+FormalC:
+  esc-alias: .c
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "c\u0323"
+  unicode-equivalent-name: LATIN SMALL LETTER C + COMBINING DOT BELOW
+  wl-unicode: "\uF802"
+FormalCapitalA:
+  esc-alias: .A
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u1EA0"
+  unicode-equivalent-name: LATIN CAPITAL LETTER A WITH DOT BELOW
+  wl-unicode: "\uF81A"
+FormalCapitalAlpha:
+  esc-alias: .CapitalAlpha
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u0391\u0323"
+  unicode-equivalent-name: GREEK CAPITAL LETTER ALPHA + COMBINING DOT BELOW
+  wl-unicode: "\uF834"
+FormalCapitalB:
+  esc-alias: .B
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u1E04"
+  unicode-equivalent-name: LATIN CAPITAL LETTER B WITH DOT BELOW
+  wl-unicode: "\uF81B"
+FormalCapitalBeta:
+  esc-alias: .CapitalBeta
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u0392\u0323"
+  unicode-equivalent-name: GREEK CAPITAL LETTER BETA + COMBINING DOT BELOW
+  wl-unicode: "\uF835"
+FormalCapitalC:
+  esc-alias: .C
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "C\u0323"
+  unicode-equivalent-name: LATIN CAPITAL LETTER C + COMBINING DOT BELOW
+  wl-unicode: "\uF81C"
+FormalCapitalChi:
+  esc-alias: .CapitalChi
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03A7\u0323"
+  unicode-equivalent-name: GREEK CAPITAL LETTER CHI + COMBINING DOT BELOW
+  wl-unicode: "\uF84A"
+FormalCapitalD:
+  esc-alias: .D
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u1E0C"
+  unicode-equivalent-name: LATIN CAPITAL LETTER D WITH DOT BELOW
+  wl-unicode: "\uF81D"
+FormalCapitalDelta:
+  esc-alias: .CapitalDelta
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u0394\u0323"
+  unicode-equivalent-name: GREEK CAPITAL LETTER DELTA + COMBINING DOT BELOW
+  wl-unicode: "\uF837"
+FormalCapitalDigamma:
+  esc-alias: .CapitalDigamma
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03DC\u0323"
+  unicode-equivalent-name: GREEK LETTER DIGAMMA + COMBINING DOT BELOW
+  wl-unicode: "\uF87F"
+FormalCapitalE:
+  esc-alias: .E
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u1EB8"
+  unicode-equivalent-name: LATIN CAPITAL LETTER E WITH DOT BELOW
+  wl-unicode: "\uF81E"
+FormalCapitalEpsilon:
+  esc-alias: .CapitalEpsilon
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u0395\u0323"
+  unicode-equivalent-name: GREEK CAPITAL LETTER EPSILON + COMBINING DOT BELOW
+  wl-unicode: "\uF838"
+FormalCapitalEta:
+  esc-alias: .CapitalEta
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u0397\u0323"
+  unicode-equivalent-name: GREEK CAPITAL LETTER ETA + COMBINING DOT BELOW
+  wl-unicode: "\uF83A"
+FormalCapitalF:
+  esc-alias: .F
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "F\u0323"
+  unicode-equivalent-name: LATIN CAPITAL LETTER F + COMBINING DOT BELOW
+  wl-unicode: "\uF81F"
+FormalCapitalG:
+  esc-alias: .G
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "G\u0323"
+  unicode-equivalent-name: LATIN CAPITAL LETTER G + COMBINING DOT BELOW
+  wl-unicode: "\uF820"
+FormalCapitalGamma:
+  esc-alias: .CapitalGamma
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u0393"
+  unicode-equivalent-name: GREEK CAPITAL LETTER GAMMA
+  wl-unicode: "\uF836"
+FormalCapitalH:
+  esc-alias: .H
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u1E24"
+  unicode-equivalent-name: LATIN CAPITAL LETTER H WITH DOT BELOW
+  wl-unicode: "\uF821"
+FormalCapitalI:
+  esc-alias: .I
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u1ECA"
+  unicode-equivalent-name: LATIN CAPITAL LETTER I WITH DOT BELOW
+  wl-unicode: "\uF822"
+FormalCapitalIota:
+  esc-alias: .CapitalIota
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u0399\u0323"
+  unicode-equivalent-name: GREEK CAPITAL LETTER IOTA + COMBINING DOT BELOW
+  wl-unicode: "\uF83C"
+FormalCapitalJ:
+  esc-alias: .J
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "J\u0323"
+  unicode-equivalent-name: LATIN CAPITAL LETTER J + COMBINING DOT BELOW
+  wl-unicode: "\uF823"
+FormalCapitalK:
+  esc-alias: .K
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u1E32"
+  unicode-equivalent-name: LATIN CAPITAL LETTER K WITH DOT BELOW
+  wl-unicode: "\uF824"
+FormalCapitalKappa:
+  esc-alias: .CapitalKappa
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u039A\u0323"
+  unicode-equivalent-name: GREEK CAPITAL LETTER KAPPA + COMBINING DOT BELOW
+  wl-unicode: "\uF83D"
+FormalCapitalKoppa:
+  esc-alias: .CapitalKoppa
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03DE\u0323"
+  unicode-equivalent-name: GREEK LETTER KOPPA + COMBINING DOT BELOW
+  wl-unicode: "\uF881"
+FormalCapitalL:
+  esc-alias: .L
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u1E36"
+  unicode-equivalent-name: LATIN CAPITAL LETTER L WITH DOT BELOW
+  wl-unicode: "\uF825"
+FormalCapitalLambda:
+  esc-alias: .CapitalLambda
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u039B\u0323"
+  unicode-equivalent-name: GREEK CAPITAL LETTER LAMDA + COMBINING DOT BELOW
+  wl-unicode: "\uF83E"
+FormalCapitalM:
+  esc-alias: .M
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u1E42"
+  unicode-equivalent-name: LATIN CAPITAL LETTER M WITH DOT BELOW
+  wl-unicode: "\uF826"
+FormalCapitalMu:
+  esc-alias: .CapitalMu
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u039C\u0323"
+  unicode-equivalent-name: GREEK CAPITAL LETTER MU + COMBINING DOT BELOW
+  wl-unicode: "\uF83F"
+FormalCapitalN:
+  esc-alias: .N
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u1E46"
+  unicode-equivalent-name: LATIN CAPITAL LETTER N WITH DOT BELOW
+  wl-unicode: "\uF827"
+FormalCapitalNu:
+  esc-alias: .CapitalNu
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u039D\u0323"
+  unicode-equivalent-name: GREEK CAPITAL LETTER NU + COMBINING DOT BELOW
+  wl-unicode: "\uF840"
+FormalCapitalO:
+  esc-alias: .O
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u1ECC"
+  unicode-equivalent-name: LATIN CAPITAL LETTER O WITH DOT BELOW
+  wl-unicode: "\uF828"
+FormalCapitalOmega:
+  esc-alias: .CapitalOmega
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03A9\u0323"
+  unicode-equivalent-name: GREEK CAPITAL LETTER OMEGA + COMBINING DOT BELOW
+  wl-unicode: "\uF84C"
+FormalCapitalOmicron:
+  esc-alias: .CapitalOmicron
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u039F\u0323"
+  unicode-equivalent-name: GREEK CAPITAL LETTER OMICRON + COMBINING DOT BELOW
+  wl-unicode: "\uF842"
+FormalCapitalP:
+  esc-alias: .P
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "P\u0323"
+  unicode-equivalent-name: LATIN CAPITAL LETTER P + COMBINING DOT BELOW
+  wl-unicode: "\uF829"
+FormalCapitalPhi:
+  esc-alias: .CapitalPhi
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03A6\u0323"
+  unicode-equivalent-name: GREEK CAPITAL LETTER PHI + COMBINING DOT BELOW
+  wl-unicode: "\uF849"
+FormalCapitalPi:
+  esc-alias: .CapitalPi
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03A0\u0323"
+  unicode-equivalent-name: GREEK CAPITAL LETTER PI + COMBINING DOT BELOW
+  wl-unicode: "\uF843"
+FormalCapitalPsi:
+  esc-alias: .CapitalPsi
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03A8\u0323"
+  unicode-equivalent-name: GREEK CAPITAL LETTER PSI + COMBINING DOT BELOW
+  wl-unicode: "\uF84B"
+FormalCapitalQ:
+  esc-alias: .Q
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "Q\u0323"
+  unicode-equivalent-name: LATIN CAPITAL LETTER Q + COMBINING DOT BELOW
+  wl-unicode: "\uF82A"
+FormalCapitalR:
+  esc-alias: .R
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u1E5A"
+  unicode-equivalent-name: LATIN CAPITAL LETTER R WITH DOT BELOW
+  wl-unicode: "\uF82B"
+FormalCapitalRho:
+  esc-alias: .CapitalRho
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03A1\u0323"
+  unicode-equivalent-name: GREEK CAPITAL LETTER RHO + COMBINING DOT BELOW
+  wl-unicode: "\uF844"
+FormalCapitalS:
+  esc-alias: .S
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u1E62"
+  unicode-equivalent-name: LATIN CAPITAL LETTER S WITH DOT BELOW
+  wl-unicode: "\uF82C"
+FormalCapitalSampi:
+  esc-alias: .CapitalSampi
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03E0\u0323"
+  unicode-equivalent-name: GREEK LETTER SAMPI + COMBINING DOT BELOW
+  wl-unicode: "\uF883"
+FormalCapitalSigma:
+  esc-alias: .CapitalSigma
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03A3\u0323"
+  unicode-equivalent-name: GREEK CAPITAL LETTER SIGMA + COMBINING DOT BELOW
+  wl-unicode: "\uF846"
+FormalCapitalStigma:
+  esc-alias: .CapitalStigma
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03DA\u0323"
+  unicode-equivalent-name: GREEK LETTER STIGMA + COMBINING DOT BELOW
+  wl-unicode: "\uF87D"
+FormalCapitalT:
+  esc-alias: .T
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u1E6C"
+  unicode-equivalent-name: LATIN CAPITAL LETTER T WITH DOT BELOW
+  wl-unicode: "\uF82D"
+FormalCapitalTau:
+  esc-alias: .CapitalTau
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03A4\u0323"
+  unicode-equivalent-name: GREEK CAPITAL LETTER TAU + COMBINING DOT BELOW
+  wl-unicode: "\uF847"
+FormalCapitalTheta:
+  esc-alias: .CapitalTheta
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u0398"
+  unicode-equivalent-name: GREEK CAPITAL LETTER THETA
+  wl-unicode: "\uF83B"
+FormalCapitalU:
+  esc-alias: .U
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u1EE4"
+  unicode-equivalent-name: LATIN CAPITAL LETTER U WITH DOT BELOW
+  wl-unicode: "\uF82E"
+FormalCapitalUpsilon:
+  esc-alias: .CapitalUpsilon
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03A5\u0323"
+  unicode-equivalent-name: GREEK CAPITAL LETTER UPSILON + COMBINING DOT BELOW
+  wl-unicode: "\uF848"
+FormalCapitalV:
+  esc-alias: .V
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u1E7E"
+  unicode-equivalent-name: LATIN CAPITAL LETTER V WITH DOT BELOW
+  wl-unicode: "\uF82F"
+FormalCapitalW:
+  esc-alias: .W
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u1E88"
+  unicode-equivalent-name: LATIN CAPITAL LETTER W WITH DOT BELOW
+  wl-unicode: "\uF830"
+FormalCapitalX:
+  esc-alias: .X
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "X\u0323"
+  unicode-equivalent-name: LATIN CAPITAL LETTER X + COMBINING DOT BELOW
+  wl-unicode: "\uF831"
+FormalCapitalXi:
+  esc-alias: .CapitalXi
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u039E\u0323"
+  unicode-equivalent-name: GREEK CAPITAL LETTER XI + COMBINING DOT BELOW
+  wl-unicode: "\uF841"
+FormalCapitalY:
+  esc-alias: .Y
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u1EF4"
+  unicode-equivalent-name: LATIN CAPITAL LETTER Y WITH DOT BELOW
+  wl-unicode: "\uF832"
+FormalCapitalZ:
+  esc-alias: .Z
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u1E92"
+  unicode-equivalent-name: LATIN CAPITAL LETTER Z WITH DOT BELOW
+  wl-unicode: "\uF833"
+FormalCapitalZeta:
+  esc-alias: .CapitalZeta
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u0396\u0323"
+  unicode-equivalent-name: GREEK CAPITAL LETTER ZETA + COMBINING DOT BELOW
+  wl-unicode: "\uF839"
+FormalChi:
+  esc-alias: .Chi
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03C7\u0323"
+  unicode-equivalent-name: GREEK SMALL LETTER CHI + COMBINING DOT BELOW
+  wl-unicode: "\uF86A"
+FormalCurlyCapitalUpsilon:
+  esc-alias: .CurlyCapitalUpsilon
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03D2\u0323"
+  unicode-equivalent-name: GREEK UPSILON WITH HOOK SYMBOL + COMBINING DOT BELOW
+  wl-unicode: "\uF875"
+FormalCurlyEpsilon:
+  esc-alias: .CurlyEpsilon
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03B5\u0323"
+  unicode-equivalent-name: GREEK SMALL LETTER EPSILON + COMBINING DOT BELOW
+  wl-unicode: "\uF858"
+FormalCurlyKappa:
+  esc-alias: .CurlyKappa
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03F0\u0323"
+  unicode-equivalent-name: GREEK KAPPA SYMBOL + COMBINING DOT BELOW
+  wl-unicode: "\uF885"
+FormalCurlyPhi:
+  esc-alias: .CurlyPhi
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03C6\u0323"
+  unicode-equivalent-name: GREEK SMALL LETTER PHI + COMBINING DOT BELOW
+  wl-unicode: "\uF869"
+FormalCurlyPi:
+  esc-alias: .CurlyPi
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03D6\u0323"
+  unicode-equivalent-name: GREEK PI SYMBOL + COMBINING DOT BELOW
+  wl-unicode: "\uF879"
+FormalCurlyRho:
+  esc-alias: .CurlyRho
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03F1\u0323"
+  unicode-equivalent-name: GREEK RHO SYMBOL + COMBINING DOT BELOW
+  wl-unicode: "\uF886"
+FormalCurlyTheta:
+  esc-alias: .CurlyTheta
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03D1\u0323"
+  unicode-equivalent-name: GREEK THETA SYMBOL + COMBINING DOT BELOW
+  wl-unicode: "\uF874"
+FormalD:
+  esc-alias: .d
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u1E0D"
+  unicode-equivalent-name: LATIN SMALL LETTER D WITH DOT BELOW
+  wl-unicode: "\uF803"
+FormalDelta:
+  esc-alias: .Delta
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03B4\u0323"
+  unicode-equivalent-name: GREEK SMALL LETTER DELTA + COMBINING DOT BELOW
+  wl-unicode: "\uF857"
+FormalDigamma:
+  esc-alias: .Digamma
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03DD"
+  unicode-equivalent-name: GREEK SMALL LETTER DIGAMMA
+  wl-unicode: "\uF880"
+FormalE:
+  esc-alias: .e
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u1EB9"
+  unicode-equivalent-name: LATIN SMALL LETTER E WITH DOT BELOW
+  wl-unicode: "\uF804"
+FormalEpsilon:
+  esc-alias: .Epsilon
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03F5\u0323"
+  unicode-equivalent-name: GREEK LUNATE EPSILON SYMBOL + COMBINING DOT BELOW
+  wl-unicode: "\uF88A"
+FormalEta:
+  esc-alias: .Eta
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03B7\u0323"
+  unicode-equivalent-name: GREEK SMALL LETTER ETA + COMBINING DOT BELOW
+  wl-unicode: "\uF85A"
+FormalF:
+  esc-alias: .f
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "f\u0323"
+  unicode-equivalent-name: LATIN SMALL LETTER F + COMBINING DOT BELOW
+  wl-unicode: "\uF805"
+FormalFinalSigma:
+  esc-alias: .FinalSigma
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03C2\u0323"
+  unicode-equivalent-name: GREEK SMALL LETTER FINAL SIGMA + COMBINING DOT BELOW
+  wl-unicode: "\uF865"
+FormalG:
+  esc-alias: .g
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "g\u0323"
+  unicode-equivalent-name: LATIN SMALL LETTER G + COMBINING DOT BELOW
+  wl-unicode: "\uF806"
+FormalGamma:
+  esc-alias: .Gamma
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03B3\u0323"
+  unicode-equivalent-name: GREEK SMALL LETTER GAMMA + COMBINING DOT BELOW
+  wl-unicode: "\uF856"
+FormalH:
+  esc-alias: .h
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u1E25"
+  unicode-equivalent-name: LATIN SMALL LETTER H WITH DOT BELOW
+  wl-unicode: "\uF807"
+FormalI:
+  esc-alias: .i
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u1ECB"
+  unicode-equivalent-name: LATIN SMALL LETTER I WITH DOT BELOW
+  wl-unicode: "\uF808"
+FormalIota:
+  esc-alias: .Iota
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u0399\u0323"
+  unicode-equivalent-name: GREEK CAPITAL LETTER IOTA + COMBINING DOT BELOW
+  wl-unicode: "\uF85C"
+FormalJ:
+  esc-alias: .j
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "j\u0323"
+  unicode-equivalent-name: LATIN SMALL LETTER J + COMBINING DOT BELOW
+  wl-unicode: "\uF809"
+FormalK:
+  esc-alias: .k
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u1E33"
+  unicode-equivalent-name: LATIN SMALL LETTER K WITH DOT BELOW
+  wl-unicode: "\uF80A"
+FormalKappa:
+  esc-alias: .Kappa
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03BA\u0323"
+  unicode-equivalent-name: GREEK SMALL LETTER KAPPA + COMBINING DOT BELOW
+  wl-unicode: "\uF85D"
+FormalKoppa:
+  esc-alias: .Koppa
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03DF\u0323"
+  unicode-equivalent-name: GREEK SMALL LETTER KOPPA + COMBINING DOT BELOW
+  wl-unicode: "\uF882"
+FormalL:
+  esc-alias: .l
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u1E37"
+  unicode-equivalent-name: LATIN SMALL LETTER L WITH DOT BELOW
+  wl-unicode: "\uF80B"
+FormalLambda:
+  esc-alias: .Lambda
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03BB\u0323"
+  unicode-equivalent-name: GREEK SMALL LETTER LAMDA + COMBINING DOT BELOW
+  wl-unicode: "\uF85E"
+FormalM:
+  esc-alias: .m
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "m\u0323"
+  unicode-equivalent-name: LATIN SMALL LETTER M + COMBINING DOT BELOW
+  wl-unicode: "\uF80C"
+FormalMu:
+  esc-alias: .Mu
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03BC\u0323"
+  unicode-equivalent-name: GREEK SMALL LETTER MU + COMBINING DOT BELOW
+  wl-unicode: "\uF85F"
+FormalN:
+  esc-alias: .n
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "n\u0323"
+  unicode-equivalent-name: LATIN SMALL LETTER N + COMBINING DOT BELOW
+  wl-unicode: "\uF80D"
+FormalNu:
+  esc-alias: .Nu
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03BD\u0323"
+  unicode-equivalent-name: GREEK SMALL LETTER NU + COMBINING DOT BELOW
+  wl-unicode: "\uF860"
+FormalO:
+  esc-alias: .o
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "o\u0323"
+  unicode-equivalent-name: LATIN SMALL LETTER O + COMBINING DOT BELOW
+  wl-unicode: "\uF80E"
+FormalOmega:
+  esc-alias: .Omega
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03C9\u0323"
+  unicode-equivalent-name: GREEK SMALL LETTER OMEGA + COMBINING DOT BELOW
+  wl-unicode: "\uF86C"
+FormalOmicron:
+  esc-alias: .Omicron
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03BF\u0323"
+  unicode-equivalent-name: GREEK SMALL LETTER OMICRON + COMBINING DOT BELOW
+  wl-unicode: "\uF862"
+FormalP:
+  esc-alias: .p
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "p\u0323"
+  unicode-equivalent-name: LATIN SMALL LETTER P + COMBINING DOT BELOW
+  wl-unicode: "\uF80F"
+FormalPhi:
+  esc-alias: .Phi
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03D5\u0323"
+  unicode-equivalent-name: GREEK PHI SYMBOL + COMBINING DOT BELOW
+  wl-unicode: "\uF878"
+FormalPi:
+  esc-alias: .Pi
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03C0\u0323"
+  unicode-equivalent-name: GREEK SMALL LETTER PI + COMBINING DOT BELOW
+  wl-unicode: "\uF863"
+FormalPsi:
+  esc-alias: .Psi
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03C8\u0323"
+  unicode-equivalent-name: GREEK SMALL LETTER PSI + COMBINING DOT BELOW
+  wl-unicode: "\uF86B"
+FormalQ:
+  esc-alias: .q
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "q\u0323"
+  unicode-equivalent-name: LATIN SMALL LETTER Q + COMBINING DOT BELOW
+  wl-unicode: "\uF810"
+FormalR:
+  esc-alias: .r
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u1E5B"
+  unicode-equivalent-name: LATIN SMALL LETTER R WITH DOT BELOW
+  wl-unicode: "\uF811"
+FormalRho:
+  esc-alias: .Rho
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03C1\u0323"
+  unicode-equivalent-name: GREEK SMALL LETTER RHO + COMBINING DOT BELOW
+  wl-unicode: "\uF864"
+FormalS:
+  esc-alias: .s
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u1E63"
+  unicode-equivalent-name: LATIN SMALL LETTER S WITH DOT BELOW
+  wl-unicode: "\uF812"
+FormalSampi:
+  esc-alias: .Sampi
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03E1\u0323"
+  unicode-equivalent-name: GREEK SMALL LETTER SAMPI + COMBINING DOT BELOW
+  wl-unicode: "\uF884"
+FormalSigma:
+  esc-alias: .Sigma
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03C3\u0323"
+  unicode-equivalent-name: GREEK SMALL LETTER SIGMA + COMBINING DOT BELOW
+  wl-unicode: "\uF866"
+FormalStigma:
+  esc-alias: .Stigma
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03DB"
+  unicode-equivalent-name: GREEK SMALL LETTER STIGMA
+  wl-unicode: "\uF87E"
+FormalT:
+  esc-alias: .t
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u1E6D"
+  unicode-equivalent-name: LATIN SMALL LETTER T WITH DOT BELOW
+  wl-unicode: "\uF813"
+FormalTau:
+  esc-alias: .Tau
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03C4\u0323"
+  unicode-equivalent-name: GREEK SMALL LETTER TAU + COMBINING DOT BELOW
+  wl-unicode: "\uF867"
+FormalTheta:
+  esc-alias: .Theta
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03B8\u0323"
+  unicode-equivalent-name: GREEK SMALL LETTER THETA + COMBINING DOT BELOW
+  wl-unicode: "\uF85B"
+FormalU:
+  esc-alias: .u
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u1EE5"
+  unicode-equivalent-name: LATIN SMALL LETTER U WITH DOT BELOW
+  wl-unicode: "\uF814"
+FormalUpsilon:
+  esc-alias: .Upsilon
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03C5\u0323"
+  unicode-equivalent-name: GREEK SMALL LETTER UPSILON + COMBINING DOT BELOW
+  wl-unicode: "\uF868"
+FormalV:
+  esc-alias: .v
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u1E7F"
+  unicode-equivalent-name: LATIN SMALL LETTER V WITH DOT BELOW
+  wl-unicode: "\uF815"
+FormalW:
+  esc-alias: .w
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u1E89"
+  unicode-equivalent-name: LATIN SMALL LETTER W WITH DOT BELOW
+  wl-unicode: "\uF816"
+FormalX:
+  esc-alias: .x
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "x\u0323"
+  unicode-equivalent-name: LATIN SMALL LETTER X + COMBINING DOT BELOW
+  wl-unicode: "\uF817"
+FormalXi:
+  esc-alias: .Xi
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03BE\u0323"
+  unicode-equivalent-name: GREEK SMALL LETTER XI + COMBINING DOT BELOW
+  wl-unicode: "\uF861"
+FormalY:
+  esc-alias: .y
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u1EF5"
+  unicode-equivalent-name: LATIN SMALL LETTER Y WITH DOT BELOW
+  wl-unicode: "\uF818"
+FormalZ:
+  esc-alias: .z
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u1E93"
+  unicode-equivalent-name: LATIN SMALL LETTER Z WITH DOT BELOW
+  wl-unicode: "\uF819"
+FormalZeta:
+  esc-alias: .Zeta
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03B6\u0323"
+  unicode-equivalent-name: GREEK SMALL LETTER ZETA + COMBINING DOT BELOW
+  wl-unicode: "\uF859"
+FreakedSmiley:
+  esc-alias: :-@
+  has-unicode-inverse: false
+  is-letter-like: true
+  wl-unicode: "\uF721"
+
+# See also RightTeeArrow
+
+# IMPORTANT!
+# ----------
+# For the Mathics Parser to work circa 2021...
+# If there is a unicode operator, as we have here for "Function", then
+# the YAML key *has* to be the operator name. ("Function" here).
+#
+# There is an ASCII operator "&" for the Function as well, but
+# the YAML name doesn't have to match since there is just ASCII for that.
+# Since we use the name Function as the key here, the YAML name for "&" has
+# to be different, since YAML keys need to be unique.
+Function:
+  ascii: "|->"
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Function
+  unicode-equivalent: "\u21A6"
+  unicode-equivalent-name: RIGHTWARDS ARROW FROM BAR
+  wl-unicode: "\uF4A1"
+  wl-unicode-name: RIGHTWARDS ARROW FROM BAR
+
+# Alternative form of Function. We use FunctionAmpersand
+# since Function is already taken. See note above.
+# See also RawAmpersand.
+FunctionAmpersand:
+  ascii: "&"
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Function
+Gamma:
+  esc-alias: g
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03B3"
+  unicode-equivalent-name: GREEK SMALL LETTER GAMMA
+  wl-unicode: "\u03B3"
+  wl-unicode-name: GREEK SMALL LETTER GAMMA
+GeminiSign:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u264A"
+  unicode-equivalent-name: GEMINI
+  wl-unicode: "\u264A"
+  wl-unicode-name: GEMINI
+Get:
+  ascii: "<<"
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Get
+Gimel:
+  esc-alias: gi
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2137"
+  unicode-equivalent-name: GIMEL SYMBOL
+  wl-unicode: "\u2137"
+  wl-unicode-name: GIMEL SYMBOL
+GothicA:
+  esc-alias: goa
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D51E"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR SMALL A
+  wl-unicode: "\uF6CC"
+GothicB:
+  esc-alias: gob
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D51F"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR SMALL B
+  wl-unicode: "\uF6CD"
+GothicC:
+  esc-alias: goc
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D520"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR SMALL C
+  wl-unicode: "\uF6CE"
+GothicCapitalA:
+  esc-alias: goA
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D504"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR CAPITAL A
+  wl-unicode: "\uF78A"
+GothicCapitalB:
+  esc-alias: goB
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D505"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR CAPITAL B
+  wl-unicode: "\uF78B"
+GothicCapitalC:
+  esc-alias: goC
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u212D"
+  unicode-equivalent-name: BLACK-LETTER CAPITAL C
+  wl-unicode: "\u212D"
+  wl-unicode-name: BLACK-LETTER CAPITAL C
+GothicCapitalD:
+  esc-alias: goD
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D507"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR CAPITAL D
+  wl-unicode: "\uF78D"
+GothicCapitalE:
+  esc-alias: goE
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D508"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR CAPITAL E
+  wl-unicode: "\uF78E"
+GothicCapitalF:
+  esc-alias: goF
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D509"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR CAPITAL F
+  wl-unicode: "\uF78F"
+GothicCapitalG:
+  esc-alias: goG
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D50A"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR CAPITAL G
+  wl-unicode: "\uF790"
+GothicCapitalH:
+  esc-alias: goH
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u210C"
+  unicode-equivalent-name: BLACK-LETTER CAPITAL H
+  wl-unicode: "\u210C"
+  wl-unicode-name: BLACK-LETTER CAPITAL H
+GothicCapitalI:
+  esc-alias: goI
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2111"
+  unicode-equivalent-name: BLACK-LETTER CAPITAL I
+  wl-unicode: "\u2111"
+  wl-unicode-name: BLACK-LETTER CAPITAL I
+GothicCapitalJ:
+  esc-alias: goJ
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D50D"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR CAPITAL J
+  wl-unicode: "\uF793"
+GothicCapitalK:
+  esc-alias: goK
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D50E"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR CAPITAL K
+  wl-unicode: "\uF794"
+GothicCapitalL:
+  esc-alias: goL
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D50F"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR CAPITAL L
+  wl-unicode: "\uF795"
+GothicCapitalM:
+  esc-alias: goM
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D510"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR CAPITAL M
+  wl-unicode: "\uF796"
+GothicCapitalN:
+  esc-alias: goN
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D511"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR CAPITAL N
+  wl-unicode: "\uF797"
+GothicCapitalO:
+  esc-alias: goO
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D512"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR CAPITAL O
+  wl-unicode: "\uF798"
+GothicCapitalP:
+  esc-alias: goP
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D513"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR CAPITAL P
+  wl-unicode: "\uF799"
+GothicCapitalQ:
+  esc-alias: goQ
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D514"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR CAPITAL Q
+  wl-unicode: "\uF79A"
+GothicCapitalR:
+  esc-alias: goR
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u211C"
+  unicode-equivalent-name: BLACK-LETTER CAPITAL R
+  wl-unicode: "\u211C"
+  wl-unicode-name: BLACK-LETTER CAPITAL R
+GothicCapitalS:
+  esc-alias: goS
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D516"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR CAPITAL S
+  wl-unicode: "\uF79C"
+GothicCapitalT:
+  esc-alias: goT
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D517"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR CAPITAL T
+  wl-unicode: "\uF79D"
+GothicCapitalU:
+  esc-alias: goU
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D518"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR CAPITAL U
+  wl-unicode: "\uF79E"
+GothicCapitalV:
+  esc-alias: goV
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D519"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR CAPITAL V
+  wl-unicode: "\uF79F"
+GothicCapitalW:
+  esc-alias: goW
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D51A"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR CAPITAL W
+  wl-unicode: "\uF7A0"
+GothicCapitalX:
+  esc-alias: goX
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D51B"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR CAPITAL X
+  wl-unicode: "\uF7A1"
+GothicCapitalY:
+  esc-alias: goY
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D51C"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR CAPITAL Y
+  wl-unicode: "\uF7A2"
+GothicCapitalZ:
+  esc-alias: goZ
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2128"
+  unicode-equivalent-name: BLACK-LETTER CAPITAL Z
+  wl-unicode: "\u2128"
+  wl-unicode-name: BLACK-LETTER CAPITAL Z
+GothicD:
+  esc-alias: god
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D521"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR SMALL D
+  wl-unicode: "\uF6CF"
+GothicE:
+  esc-alias: goe
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D522"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR SMALL E
+  wl-unicode: "\uF6D0"
+GothicEight:
+  esc-alias: go8
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF7ED"
+GothicF:
+  esc-alias: gof
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D523"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR SMALL F
+  wl-unicode: "\uF6D1"
+GothicFive:
+  esc-alias: go5
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF7EA"
+GothicFour:
+  esc-alias: go4
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF7E9"
+GothicG:
+  esc-alias: gog
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D524"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR SMALL G
+  wl-unicode: "\uF6D2"
+GothicH:
+  esc-alias: goh
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D525"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR SMALL H
+  wl-unicode: "\uF6D3"
+GothicI:
+  esc-alias: goi
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D526"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR SMALL I
+  wl-unicode: "\uF6D4"
+GothicJ:
+  esc-alias: goj
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D527"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR SMALL J
+  wl-unicode: "\uF6D5"
+GothicK:
+  esc-alias: gok
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D528"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR SMALL K
+  wl-unicode: "\uF6D6"
+GothicL:
+  esc-alias: gol
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D529"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR SMALL L
+  wl-unicode: "\uF6D7"
+GothicM:
+  esc-alias: gom
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D52A"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR SMALL M
+  wl-unicode: "\uF6D8"
+GothicN:
+  esc-alias: gon
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D52B"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR SMALL N
+  wl-unicode: "\uF6D9"
+GothicNine:
+  esc-alias: go9
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF7EF"
+GothicO:
+  esc-alias: goo
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D52C"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR SMALL O
+  wl-unicode: "\uF6DA"
+GothicOne:
+  esc-alias: go1
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF7E6"
+GothicP:
+  esc-alias: gop
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D52D"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR SMALL P
+  wl-unicode: "\uF6DB"
+GothicQ:
+  esc-alias: goq
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D52E"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR SMALL Q
+  wl-unicode: "\uF6DC"
+GothicR:
+  esc-alias: gor
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D52F"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR SMALL R
+  wl-unicode: "\uF6DD"
+GothicS:
+  esc-alias: gos
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D530"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR SMALL S
+  wl-unicode: "\uF6DE"
+GothicSeven:
+  esc-alias: go7
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF7EC"
+GothicSix:
+  esc-alias: go6
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF7EB"
+GothicT:
+  esc-alias: got
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D531"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR SMALL T
+  wl-unicode: "\uF6DF"
+GothicThree:
+  esc-alias: go3
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF7E8"
+GothicTwo:
+  esc-alias: go2
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF7E7"
+GothicU:
+  esc-alias: gou
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D532"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR SMALL U
+  wl-unicode: "\uF6E0"
+GothicV:
+  esc-alias: gov
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D533"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR SMALL V
+  wl-unicode: "\uF6E1"
+GothicW:
+  esc-alias: gow
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D534"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR SMALL W
+  wl-unicode: "\uF6E2"
+GothicX:
+  esc-alias: gox
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D535"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR SMALL X
+  wl-unicode: "\uF6E3"
+GothicY:
+  esc-alias: goy
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D536"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR SMALL Y
+  wl-unicode: "\uF6E4"
+GothicZ:
+  esc-alias: goz
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D537"
+  unicode-equivalent-name: MATHEMATICAL FRAKTUR SMALL Z
+  wl-unicode: "\uF6E5"
+GothicZero:
+  esc-alias: go0
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF7E5"
+GrayCircle:
+  esc-alias: gci
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u25CF"
+  unicode-equivalent-name: BLACK CIRCLE
+  wl-unicode: "\uF753"
+GraySquare:
+  esc-alias: gsq
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u25A0"
+  unicode-equivalent-name: BLACK SQUARE
+  wl-unicode: "\uF752"
+GreaterEqual:
+  ascii: ">="
+  esc-alias: ">="
+  has-unicode-inverse: true
+  is-letter-like: false
+  operator-name: GreaterEqual
+  unicode-equivalent: "\u2265"
+  unicode-equivalent-name: GREATER-THAN OR EQUAL TO
+  wl-unicode: "\u2265"
+  wl-unicode-name: GREATER-THAN OR EQUAL TO
+GreaterEqualLess:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: GreaterEqualLess
+  unicode-equivalent: "\u22DB"
+  unicode-equivalent-name: GREATER-THAN EQUAL TO OR LESS-THAN
+  wl-unicode: "\u22DB"
+  wl-unicode-name: GREATER-THAN EQUAL TO OR LESS-THAN
+GreaterFullEqual:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: GreaterFullEqual
+  unicode-equivalent: "\u2267"
+  unicode-equivalent-name: GREATER-THAN OVER EQUAL TO
+  wl-unicode: "\u2267"
+  wl-unicode-name: GREATER-THAN OVER EQUAL TO
+GreaterGreater:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: GreaterGreater
+  unicode-equivalent: "\u226B"
+  unicode-equivalent-name: MUCH GREATER-THAN
+  wl-unicode: "\u226B"
+  wl-unicode-name: MUCH GREATER-THAN
+GreaterLess:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: GreaterLess
+  unicode-equivalent: "\u2277"
+  unicode-equivalent-name: GREATER-THAN OR LESS-THAN
+  wl-unicode: "\u2277"
+  wl-unicode-name: GREATER-THAN OR LESS-THAN
+GreaterSlantEqual:
+  esc-alias: '>/'
+  has-unicode-inverse: false
+  operator-name: GreaterSlantEqual
+  is-letter-like: false
+  unicode-equivalent: "\u2A7E"
+  unicode-equivalent-name: GREATER-THAN OR SLANTED EQUAL TO
+  wl-unicode: "\u2A7E"
+  wl-unicode-name: GREATER-THAN OR SLANTED EQUAL TO
+GreaterTilde:
+  esc-alias: '>~'
+  has-unicode-inverse: false
+  operator-name: GreaterTilde
+  is-letter-like: false
+  unicode-equivalent: "\u2273"
+  unicode-equivalent-name: GREATER-THAN OR EQUIVALENT TO
+  wl-unicode: "\u2273"
+  wl-unicode-name: GREATER-THAN OR EQUIVALENT TO
+HBar:
+  esc-alias: hb
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u210F"
+  unicode-equivalent-name: PLANCK CONSTANT OVER TWO PI
+  wl-unicode: "\u210F"
+  wl-unicode-name: PLANCK CONSTANT OVER TWO PI
+Hacek:
+  esc-alias: hck
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u02C7"
+  unicode-equivalent-name: CARON
+  wl-unicode: "\u02C7"
+  wl-unicode-name: CARON
+HappySmiley:
+  esc-alias: :)
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u263A"
+  unicode-equivalent-name: WHITE SMILING FACE
+  wl-unicode: "\u263A"
+  wl-unicode-name: WHITE SMILING FACE
+HeartSuit:
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u2661"
+  unicode-equivalent-name: WHITE HEART SUIT
+  wl-unicode: "\u2661"
+  wl-unicode-name: WHITE HEART SUIT
+HermitianConjugate:
+  esc-alias: hc
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u22B9"
+  unicode-equivalent-name: HERMITIAN CONJUGATE MATRIX
+  wl-unicode: "\uF3CE"
+HorizontalLine:
+  esc-alias: hline
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2500"
+  unicode-equivalent-name: BOX DRAWINGS LIGHT HORIZONTAL
+  wl-unicode: "\u2500"
+  wl-unicode-name: BOX DRAWINGS LIGHT HORIZONTAL
+HumpDownHump:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: HumpDownHump
+  unicode-equivalent: "\u224E"
+  unicode-equivalent-name: GEOMETRICALLY EQUIVALENT TO
+  wl-unicode: "\u224E"
+  wl-unicode-name: GEOMETRICALLY EQUIVALENT TO
+HumpEqual:
+  esc-alias: h=
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: HumpEqual
+  unicode-equivalent: "\u224F"
+  unicode-equivalent-name: DIFFERENCE BETWEEN
+  wl-unicode: "\u224F"
+  wl-unicode-name: DIFFERENCE BETWEEN
+Hyphen:
+  esc-alias: hy
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2010"
+  unicode-equivalent-name: HYPHEN
+  wl-unicode: "\u2010"
+  wl-unicode-name: HYPHEN
+IAcute:
+  esc-alias: i'
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xED"
+  unicode-equivalent-name: LATIN SMALL LETTER I WITH ACUTE
+  wl-unicode: "\xED"
+  wl-unicode-name: LATIN SMALL LETTER I WITH ACUTE
+ICup:
+  esc-alias: iu
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u012D"
+  unicode-equivalent-name: LATIN SMALL LETTER I WITH BREVE
+  wl-unicode: "\u012D"
+  wl-unicode-name: LATIN SMALL LETTER I WITH BREVE
+IDoubleDot:
+  esc-alias: i"
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xEF"
+  unicode-equivalent-name: LATIN SMALL LETTER I WITH DIAERESIS
+  wl-unicode: "\xEF"
+  wl-unicode-name: LATIN SMALL LETTER I WITH DIAERESIS
+IGrave:
+  esc-alias: i`
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xEC"
+  unicode-equivalent-name: LATIN SMALL LETTER I WITH GRAVE
+  wl-unicode: "\xEC"
+  wl-unicode-name: LATIN SMALL LETTER I WITH GRAVE
+IHat:
+  esc-alias: i^
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xEE"
+  unicode-equivalent-name: LATIN SMALL LETTER I WITH CIRCUMFLEX
+  wl-unicode: "\xEE"
+  wl-unicode-name: LATIN SMALL LETTER I WITH CIRCUMFLEX
+ImaginaryI:
+  esc-alias: ii
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u2148"
+  unicode-equivalent-name: DOUBLE-STRUCK ITALIC SMALL I
+  wl-unicode: "\uF74E"
+ImaginaryJ:
+  esc-alias: jj
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u2149"
+  unicode-equivalent-name: DOUBLE-STRUCK ITALIC SMALL J
+  wl-unicode: "\uF74F"
+ImplicitPlus:
+  esc-alias: +
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u2064"
+  unicode-equivalent-name: INVISIBLE PLUS
+  wl-unicode: "\uF39E"
+Implies:
+  esc-alias: =>
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u27F9"
+  unicode-equivalent-name: LONG RIGHTWARDS DOUBLE ARROW
+  wl-unicode: "\uF523"
+Increment:
+  ascii: "++"
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Increment
+IndentingNewLine:
+  esc-alias: nl
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u000A"
+  wl-unicode: "\uF3A3"
+Infinity:
+  esc-alias: inf
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u221E"
+  unicode-equivalent-name: INFINITY
+  wl-unicode: "\u221E"
+  wl-unicode-name: INFINITY
+# Infix isn't really an operator
+# Infix:
+#  ascii: "~"
+#  has-unicode-inverse: false
+#  is-letter-like: false
+#  operator-name: Infix
+Information:
+  ascii: "??"
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Information
+Integral:
+  esc-alias: int
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Integral
+  unicode-equivalent: "\u222B"
+  unicode-equivalent-name: INTEGRAL
+  wl-unicode: "\u222B"
+  wl-unicode-name: INTEGRAL
+Intersection:
+  esc-alias: inter
+  has-unicode-inverse: false
+  operator-name: Intersection
+  is-letter-like: false
+  unicode-equivalent: "\u22C2"
+  unicode-equivalent-name: N-ARY INTERSECTION
+  wl-unicode: "\u22C2"
+  wl-unicode-name: N-ARY INTERSECTION
+InvisibleApplication:
+  esc-alias: '@'
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: ''
+  unicode-equivalent-name: ''
+  wl-unicode: "\uF76D"
+InvisibleComma:
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u2063"
+  unicode-equivalent-name: INVISIBLE SEPARATOR
+  wl-unicode: "\uF765"
+InvisiblePostfixScriptBase:
+  esc-alias: -i
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: ''
+  unicode-equivalent-name: ''
+  wl-unicode: "\uF3B4"
+InvisiblePrefixScriptBase:
+  esc-alias: i-
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: ''
+  unicode-equivalent-name: ''
+  wl-unicode: "\uF3B3"
+InvisibleSpace:
+  esc-alias: is
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: ''
+  unicode-equivalent-name: ''
+  wl-unicode: "\uF360"
+InvisibleTimes:
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u2062"
+  unicode-equivalent-name: INVISIBLE TIMES
+  wl-unicode: "\u2062"
+  wl-unicode-name: INVISIBLE TIMES
+Iota:
+  esc-alias: i
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03B9"
+  unicode-equivalent-name: GREEK SMALL LETTER IOTA
+  wl-unicode: "\u03B9"
+  wl-unicode-name: GREEK SMALL LETTER IOTA
+Jupiter:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2643"
+  unicode-equivalent-name: JUPITER
+  wl-unicode: "\u2643"
+  wl-unicode-name: JUPITER
+Kappa:
+  esc-alias: k
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03BA"
+  unicode-equivalent-name: GREEK SMALL LETTER KAPPA
+  wl-unicode: "\u03BA"
+  wl-unicode-name: GREEK SMALL LETTER KAPPA
+KernelIcon:
+  has-unicode-inverse: false
+  is-letter-like: true
+  wl-unicode: "\uF756"
+Koppa:
+  esc-alias: ko
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03DF"
+  unicode-equivalent-name: GREEK SMALL LETTER KOPPA
+  wl-unicode: "\u03DF"
+  wl-unicode-name: GREEK SMALL LETTER KOPPA
+LSlash:
+  esc-alias: l/
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u0142"
+  unicode-equivalent-name: LATIN SMALL LETTER L WITH STROKE
+  wl-unicode: "\u0142"
+  wl-unicode-name: LATIN SMALL LETTER L WITH STROKE
+Lambda:
+  esc-alias: l
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03BB"
+  unicode-equivalent-name: GREEK SMALL LETTER LAMDA
+  wl-unicode: "\u03BB"
+  wl-unicode-name: GREEK SMALL LETTER LAMDA
+LastPage:
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF7FB"
+LeftAngleBracket:
+  esc-alias: <
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2329"
+  unicode-equivalent-name: LEFT-POINTING ANGLE BRACKET
+  wl-unicode: "\u2329"
+  wl-unicode-name: LEFT-POINTING ANGLE BRACKET
+LeftArrow:
+  esc-alias: <-
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: LeftArrow
+  unicode-equivalent: "\u2190"
+  unicode-equivalent-name: LEFTWARDS ARROW
+  wl-unicode: "\u2190"
+  wl-unicode-name: LEFTWARDS ARROW
+LeftArrowBar:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: LeftArrowBar
+  unicode-equivalent: "\u21E4"
+  unicode-equivalent-name: LEFTWARDS ARROW TO BAR
+  wl-unicode: "\u21E4"
+  wl-unicode-name: LEFTWARDS ARROW TO BAR
+LeftArrowRightArrow:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: LeftArrowRightArrow
+  unicode-equivalent: "\u21C6"
+  unicode-equivalent-name: LEFTWARDS ARROW OVER RIGHTWARDS ARROW
+  wl-unicode: "\u21C6"
+  wl-unicode-name: LEFTWARDS ARROW OVER RIGHTWARDS ARROW
+LeftAssociation:
+  esc-alias: <|
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF113"
+LeftBracketingBar:
+  esc-alias: l|
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: '|'
+  unicode-equivalent-name: VERTICAL LINE
+  wl-unicode: "\uF603"
+LeftCeiling:
+  esc-alias: lc
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: LeftCeiling
+  unicode-equivalent: "\u2308"
+  unicode-equivalent-name: LEFT CEILING
+  wl-unicode: "\u2308"
+  wl-unicode-name: LEFT CEILING
+LeftDoubleBracket:
+  esc-alias: '[['
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u301A"
+  unicode-equivalent-name: LEFT WHITE SQUARE BRACKET
+  wl-unicode: "\u301A"
+  wl-unicode-name: LEFT WHITE SQUARE BRACKET
+LeftDoubleBracketingBar:
+  esc-alias: l||
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2016"
+  unicode-equivalent-name: DOUBLE VERTICAL LINE
+  wl-unicode: "\uF605"
+LeftDownTeeVector:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: LeftDownTeeVector
+  unicode-equivalent: "\u2961"
+  unicode-equivalent-name: DOWNWARDS HARPOON WITH BARB LEFT FROM BAR
+  wl-unicode: "\u2961"
+  wl-unicode-name: DOWNWARDS HARPOON WITH BARB LEFT FROM BAR
+LeftDownVector:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: LeftDownVector
+  unicode-equivalent: "\u21C3"
+  unicode-equivalent-name: DOWNWARDS HARPOON WITH BARB LEFTWARDS
+  wl-unicode: "\u21C3"
+  wl-unicode-name: DOWNWARDS HARPOON WITH BARB LEFTWARDS
+LeftDownVectorBar:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: LeftDownVectorBar
+  unicode-equivalent: "\u2959"
+  unicode-equivalent-name: DOWNWARDS HARPOON WITH BARB LEFT TO BAR
+  wl-unicode: "\u2959"
+  wl-unicode-name: DOWNWARDS HARPOON WITH BARB LEFT TO BAR
+LeftFloor:
+  esc-alias: lf
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: LeftFloor
+  unicode-equivalent: "\u230A"
+  unicode-equivalent-name: LEFT FLOOR
+  wl-unicode: "\u230A"
+  wl-unicode-name: LEFT FLOOR
+LeftGuillemet:
+  esc-alias: g<<
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\xAB"
+  unicode-equivalent-name: LEFT-POINTING DOUBLE ANGLE QUOTATION MARK
+  wl-unicode: "\xAB"
+  wl-unicode-name: LEFT-POINTING DOUBLE ANGLE QUOTATION MARK
+LeftModified:
+  esc-alias: '['
+  has-unicode-inverse: false
+  is-letter-like: true
+  wl-unicode: "\uF76B"
+LeftPointer:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: LeftPointer
+  unicode-equivalent: "\u25C2"
+  unicode-equivalent-name: BLACK LEFT-POINTING SMALL TRIANGLE
+  wl-unicode: "\u25C2"
+  wl-unicode-name: BLACK LEFT-POINTING SMALL TRIANGLE
+LeftRightArrow:
+  esc-alias: <->
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: LeftRightArrow
+  unicode-equivalent: "\u2194"
+  unicode-equivalent-name: LEFT RIGHT ARROW
+  wl-unicode: "\u2194"
+  wl-unicode-name: LEFT RIGHT ARROW
+LeftRightVector:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: LeftRightVector
+  unicode-equivalent: "\u294E"
+  unicode-equivalent-name: LEFT BARB UP RIGHT BARB UP HARPOON
+  wl-unicode: "\u294E"
+  wl-unicode-name: LEFT BARB UP RIGHT BARB UP HARPOON
+LeftSkeleton:
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\xAB"
+  unicode-equivalent-name: LEFT-POINTING DOUBLE ANGLE QUOTATION MARK
+  wl-unicode: "\uF761"
+LeftTee:
+  esc-alias: lT
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: LeftTee
+  unicode-equivalent: "\u22A3"
+  unicode-equivalent-name: LEFT TACK
+  wl-unicode: "\u22A3"
+  wl-unicode-name: LEFT TACK
+LeftTeeArrow:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: LeftTeeArrow
+  unicode-equivalent: "\u21A4"
+  unicode-equivalent-name: LEFTWARDS ARROW FROM BAR
+  wl-unicode: "\u21A4"
+  wl-unicode-name: LEFTWARDS ARROW FROM BAR
+LeftTeeVector:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: LeftTeeVector
+  unicode-equivalent: "\u295A"
+  unicode-equivalent-name: LEFTWARDS HARPOON WITH BARB UP FROM BAR
+  wl-unicode: "\u295A"
+  wl-unicode-name: LEFTWARDS HARPOON WITH BARB UP FROM BAR
+LeftTriangle:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: LeftTriangle
+  unicode-equivalent: "\u22B2"
+  unicode-equivalent-name: NORMAL SUBGROUP OF
+  wl-unicode: "\u22B2"
+  wl-unicode-name: NORMAL SUBGROUP OF
+LeftTriangleBar:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: LeftTriangleBar
+  unicode-equivalent: "\u29CF"
+  unicode-equivalent-name: LEFT TRIANGLE BESIDE VERTICAL BAR
+  wl-unicode: "\u29CF"
+  wl-unicode-name: LEFT TRIANGLE BESIDE VERTICAL BAR
+LeftTriangleEqual:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: LeftTriangleEqual
+  unicode-equivalent: "\u22B4"
+  unicode-equivalent-name: NORMAL SUBGROUP OF OR EQUAL TO
+  wl-unicode: "\u22B4"
+  wl-unicode-name: NORMAL SUBGROUP OF OR EQUAL TO
+LeftUpDownVector:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: LeftUpDownVector
+  unicode-equivalent: "\u2951"
+  unicode-equivalent-name: UP BARB LEFT DOWN BARB LEFT HARPOON
+  wl-unicode: "\u2951"
+  wl-unicode-name: UP BARB LEFT DOWN BARB LEFT HARPOON
+LeftUpTeeVector:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: LeftUpTeeVector
+  unicode-equivalent: "\u2960"
+  unicode-equivalent-name: UPWARDS HARPOON WITH BARB LEFT FROM BAR
+  wl-unicode: "\u2960"
+  wl-unicode-name: UPWARDS HARPOON WITH BARB LEFT FROM BAR
+LeftUpVector:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: LeftUpVector
+  unicode-equivalent: "\u21BF"
+  unicode-equivalent-name: UPWARDS HARPOON WITH BARB LEFTWARDS
+  wl-unicode: "\u21BF"
+  wl-unicode-name: UPWARDS HARPOON WITH BARB LEFTWARDS
+LeftUpVectorBar:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: LeftUpVectorBar
+  unicode-equivalent: "\u2958"
+  unicode-equivalent-name: UPWARDS HARPOON WITH BARB LEFT TO BAR
+  wl-unicode: "\u2958"
+  wl-unicode-name: UPWARDS HARPOON WITH BARB LEFT TO BAR
+LeftVector:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: LeftVector
+  unicode-equivalent: "\u21BC"
+  unicode-equivalent-name: LEFTWARDS HARPOON WITH BARB UPWARDS
+  wl-unicode: "\u21BC"
+  wl-unicode-name: LEFTWARDS HARPOON WITH BARB UPWARDS
+LeftVectorBar:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: LeftVectorBar
+  unicode-equivalent: "\u2952"
+  unicode-equivalent-name: LEFTWARDS HARPOON WITH BARB UP TO BAR
+  wl-unicode: "\u2952"
+  wl-unicode-name: LEFTWARDS HARPOON WITH BARB UP TO BAR
+LeoSign:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u264C"
+  unicode-equivalent-name: LEO
+  wl-unicode: "\u264C"
+  wl-unicode-name: LEO
+Less:
+  ascii: "<"
+  has-unicode-inverse: true
+  is-letter-like: false
+  operator-name: Less
+  unicode-equivalent: "<"
+  unicode-equivalent-name: LESS-THAN SIGN
+  wl-unicode: "<"
+  wl-unicode-name: LESS-THAN SIGN
+LessEqual:
+  ascii: "<="
+  esc-alias: "<="
+  has-unicode-inverse: true
+  is-letter-like: false
+  operator-name: LessEqual
+  unicode-equivalent: "\u2264"
+  unicode-equivalent-name: LESS-THAN OR EQUAL TO
+  wl-unicode: "\u2264"
+  wl-unicode-name: LESS-THAN OR EQUAL TO
+LessEqualGreater:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: LessEqualGreater
+  unicode-equivalent: "\u22DA"
+  unicode-equivalent-name: LESS-THAN EQUAL TO OR GREATER-THAN
+  wl-unicode: "\u22DA"
+  wl-unicode-name: LESS-THAN EQUAL TO OR GREATER-THAN
+LessFullEqual:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: LessFullEqual
+  unicode-equivalent: "\u2266"
+  unicode-equivalent-name: LESS-THAN OVER EQUAL TO
+  wl-unicode: "\u2266"
+  wl-unicode-name: LESS-THAN OVER EQUAL TO
+LessGreater:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: LessGreater
+  unicode-equivalent: "\u2276"
+  unicode-equivalent-name: LESS-THAN OR GREATER-THAN
+  wl-unicode: "\u2276"
+  wl-unicode-name: LESS-THAN OR GREATER-THAN
+LessLess:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: LessLess
+  unicode-equivalent: "\u226A"
+  unicode-equivalent-name: MUCH LESS-THAN
+  wl-unicode: "\u226A"
+  wl-unicode-name: MUCH LESS-THAN
+LessSlantEqual:
+  esc-alias: </
+  has-unicode-inverse: false
+  operator-name: LessSlantEqual
+  is-letter-like: false
+  unicode-equivalent: "\u2A7D"
+  unicode-equivalent-name: LESS-THAN OR SLANTED EQUAL TO
+  wl-unicode: "\u2A7D"
+  wl-unicode-name: LESS-THAN OR SLANTED EQUAL TO
+LessTilde:
+  esc-alias: <~
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: LessTilde
+  unicode-equivalent: "\u2272"
+  unicode-equivalent-name: LESS-THAN OR EQUIVALENT TO
+  wl-unicode: "\u2272"
+  wl-unicode-name: LESS-THAN OR EQUIVALENT TO
+LetterSpace:
+  esc-alias: _
+  has-unicode-inverse: false
+  is-letter-like: true
+  wl-unicode: "\uF754"
+LibraSign:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u264E"
+  unicode-equivalent-name: LIBRA
+  wl-unicode: "\u264E"
+  wl-unicode-name: LIBRA
+LightBulb:
+  has-unicode-inverse: false
+  is-letter-like: true
+  wl-unicode: "\uF723"
+LongDash:
+  esc-alias: --
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: LongDash
+  unicode-equivalent: "\u2014"
+  unicode-equivalent-name: EM DASH
+  wl-unicode: "\u2014"
+  wl-unicode-name: EM DASH
+LongEqual:
+  esc-alias: l=
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: '=='
+  unicode-equivalent-name: EQUALS SIGN + EQUALS SIGN
+  wl-unicode: "\uF7D9"
+LongLeftArrow:
+  esc-alias: <--
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: LongLeftArrow
+  unicode-equivalent: "\u27F5"
+  unicode-equivalent-name: LONG LEFTWARDS ARROW
+  wl-unicode: "\u27F5"
+  wl-unicode-name: LONG LEFTWARDS ARROW
+LongLeftRightArrow:
+  esc-alias: <-->
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: LongLeftRightArrow
+  unicode-equivalent: "\u27F7"
+  unicode-equivalent-name: LONG LEFT RIGHT ARROW
+  wl-unicode: "\u27F7"
+  wl-unicode-name: LONG LEFT RIGHT ARROW
+LongRightArrow:
+  esc-alias: -->
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: LongRightArrow
+  unicode-equivalent: "\u27F6"
+  unicode-equivalent-name: LONG RIGHTWARDS ARROW
+  wl-unicode: "\u27F6"
+  wl-unicode-name: LONG RIGHTWARDS ARROW
+LowerLeftArrow:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: LowerLeftArrow
+  unicode-equivalent: "\u2199"
+  unicode-equivalent-name: SOUTH WEST ARROW
+  wl-unicode: "\u2199"
+  wl-unicode-name: SOUTH WEST ARROW
+LowerRightArrow:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: LowerRightArrow
+  unicode-equivalent: "\u2198"
+  unicode-equivalent-name: SOUTH EAST ARROW
+  wl-unicode: "\u2198"
+  wl-unicode-name: SOUTH EAST ARROW
+Map:
+  ascii: "/@"
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Map
+MapAll:
+  ascii: "//@"
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: MapAll
+Mars:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2642"
+  unicode-equivalent-name: MALE SIGN
+  wl-unicode: "\u2642"
+  wl-unicode-name: MALE SIGN
+MathematicaIcon:
+  esc-alias: math
+  has-unicode-inverse: false
+  is-letter-like: true
+  wl-unicode: "\uF757"
+MeasuredAngle:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2221"
+  unicode-equivalent-name: MEASURED ANGLE
+  wl-unicode: "\u2221"
+  wl-unicode-name: MEASURED ANGLE
+MediumSpace:
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\u205F"
+  wl-unicode-name: MEDIUM MATHEMATICAL SPACE
+Mercury:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u263F"
+  unicode-equivalent-name: MERCURY
+  wl-unicode: "\u263F"
+  wl-unicode-name: MERCURY
+Message:
+  ascii: "::"
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Message
+Mho:
+  esc-alias: mho
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u2127"
+  unicode-equivalent-name: INVERTED OHM SIGN
+  wl-unicode: "\u2127"
+  wl-unicode-name: INVERTED OHM SIGN
+Micro:
+  esc-alias: mi
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\xB5"
+  unicode-equivalent-name: MICRO SIGN
+  wl-unicode: "\xB5"
+  wl-unicode-name: MICRO SIGN
+Minus:
+  ascii: "-"
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Minus
+  unicode-equivalent: "-"
+  unicode-equivalent-name: HYPHEN-MINUS
+  wl-unicode: "-"
+  wl-unicode-name: HYPHEN-MINUS
+MinusPlus:
+  esc-alias: -+
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2213"
+  unicode-equivalent-name: MINUS-OR-PLUS SIGN
+  wl-unicode: "\u2213"
+  wl-unicode-name: MINUS-OR-PLUS SIGN
+Mu:
+  esc-alias: m
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03BC"
+  unicode-equivalent-name: GREEK SMALL LETTER MU
+  wl-unicode: "\u03BC"
+  wl-unicode-name: GREEK SMALL LETTER MU
+NHacek:
+  esc-alias: nv
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u0148"
+  unicode-equivalent-name: LATIN SMALL LETTER N WITH CARON
+  wl-unicode: "\u0148"
+  wl-unicode-name: LATIN SMALL LETTER N WITH CARON
+NTilde:
+  esc-alias: n~
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xF1"
+  unicode-equivalent-name: LATIN SMALL LETTER N WITH TILDE
+  wl-unicode: "\xF1"
+  wl-unicode-name: LATIN SMALL LETTER N WITH TILDE
+Nand:
+  esc-alias: nand
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u22BC"
+  unicode-equivalent-name: NAND
+  wl-unicode: "\u22BC"
+  wl-unicode-name: NAND
+Natural:
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u266E"
+  unicode-equivalent-name: MUSIC NATURAL SIGN
+  wl-unicode: "\u266E"
+  wl-unicode-name: MUSIC NATURAL SIGN
+NegativeMediumSpace:
+  esc-alias: '-   '
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF383"
+NegativeThickSpace:
+  esc-alias: '-    '
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF384"
+NegativeThinSpace:
+  esc-alias: '-  '
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF382"
+NegativeVeryThinSpace:
+  esc-alias: '- '
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF380"
+Neptune:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2646"
+  unicode-equivalent-name: NEPTUNE
+  wl-unicode: "\u2646"
+  wl-unicode-name: NEPTUNE
+NestedGreaterGreater:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: NestedGreaterGreater
+  unicode-equivalent: "\u2AA2"
+  unicode-equivalent-name: DOUBLE NESTED GREATER-THAN
+  wl-unicode: "\u2AA2"
+  wl-unicode-name: DOUBLE NESTED GREATER-THAN
+NestedLessLess:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: NestedLessLess
+  unicode-equivalent: "\u2AA1"
+  unicode-equivalent-name: DOUBLE NESTED LESS-THAN
+  wl-unicode: "\u2AA1"
+  wl-unicode-name: DOUBLE NESTED LESS-THAN
+NeutralSmiley:
+  esc-alias: :-|
+  has-unicode-inverse: false
+  is-letter-like: true
+  wl-unicode: "\uF722"
+NewLine:
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u000A"
+  wl-unicode: "\u000A"
+NoBreak:
+  esc-alias: nb
+  has-unicode-inverse: false
+  is-letter-like: true
+  wl-unicode: "\u2060"
+  wl-unicode-name: WORD JOINER
+NonBreakingSpace:
+  esc-alias: nbs
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\_"
+  wl-unicode-name: NO-BREAK SPACE
+NonCommutativeMultiply:
+  ascii: "**"
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: NonCommutativeMultiply
+Nor:
+  esc-alias: nor
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Nor
+  unicode-equivalent: "\u22BD"
+  unicode-equivalent-name: NOR
+  operator-name: Nor
+  wl-unicode: "\u22BD"
+  wl-unicode-name: NOR
+Not:
+  esc-alias: '!'
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u00AC"
+  operator-name: Not
+  wl-unicode: "\00AC"
+  wl-unicode-name: NOT SIGN
+NotCongruent:
+  esc-alias: '!==='
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: NotCongruent
+  unicode-equivalent: "\u2262"
+  unicode-equivalent-name: NOT IDENTICAL TO
+  wl-unicode: "\u2262"
+  wl-unicode-name: NOT IDENTICAL TO
+NotCupCap:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: NotCupCap
+  unicode-equivalent: "\u226D"
+  unicode-equivalent-name: NOT EQUIVALENT TO
+  wl-unicode: "\u226D"
+  wl-unicode-name: NOT EQUIVALENT TO
+NotDoubleVerticalBar:
+  esc-alias: '!||'
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: NotDoubleVerticalBar
+  unicode-equivalent: "\u2226"
+  unicode-equivalent-name: NOT PARALLEL TO
+  wl-unicode: "\u2226"
+  wl-unicode-name: NOT PARALLEL TO
+NotElement:
+  esc-alias: '!el'
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: NotElement
+  unicode-equivalent: "\u2209"
+  unicode-equivalent-name: NOT AN ELEMENT OF
+  wl-unicode: "\u2209"
+  wl-unicode-name: NOT AN ELEMENT OF
+NotEqual:
+  ascii: "!="
+  esc-alias: '!='
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: NotEqual
+  unicode-equivalent: "\u2260"
+  unicode-equivalent-name: NOT EQUAL TO
+  wl-unicode: "\u2260"
+  wl-unicode-name: NOT EQUAL TO
+NotEqualTilde:
+  esc-alias: '!=~'
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF400"
+NotExists:
+  esc-alias: '!ex'
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: NotExists
+  unicode-equivalent: "\u2204"
+  unicode-equivalent-name: THERE DOES NOT EXIST
+  wl-unicode: "\u2204"
+  wl-unicode-name: THERE DOES NOT EXIST
+NotGreater:
+  esc-alias: '!>'
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: NotGreater
+  unicode-equivalent: "\u226F"
+  unicode-equivalent-name: NOT GREATER-THAN
+  wl-unicode: "\u226F"
+  wl-unicode-name: NOT GREATER-THAN
+NotGreaterEqual:
+  esc-alias: '!>='
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: NotGreaterEqual
+  unicode-equivalent: "\u2271"
+  unicode-equivalent-name: NEITHER GREATER-THAN NOR EQUAL TO
+  wl-unicode: "\u2271"
+  wl-unicode-name: NEITHER GREATER-THAN NOR EQUAL TO
+NotGreaterFullEqual:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: NotGreaterFullEqual
+  unicode-equivalent: "\u2269"
+  unicode-equivalent-name: GREATER-THAN BUT NOT EQUAL TO
+  wl-unicode: "\u2269"
+  wl-unicode-name: GREATER-THAN BUT NOT EQUAL TO
+NotGreaterGreater:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: NotGreaterGreater
+  wl-unicode: "\uF427"
+NotGreaterLess:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: NotGreaterLess
+  unicode-equivalent: "\u2279"
+  unicode-equivalent-name: NEITHER GREATER-THAN NOR LESS-THAN
+  wl-unicode: "\u2279"
+  wl-unicode-name: NEITHER GREATER-THAN NOR LESS-THAN
+NotGreaterSlantEqual:
+  esc-alias: '!>/'
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF429"
+NotGreaterTilde:
+  esc-alias: '!>~'
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: NotGreaterTilde
+  unicode-equivalent: "\u2275"
+  unicode-equivalent-name: NEITHER GREATER-THAN NOR EQUIVALENT TO
+  wl-unicode: "\u2275"
+  wl-unicode-name: NEITHER GREATER-THAN NOR EQUIVALENT TO
+NotHumpDownHump:
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF402"
+NotHumpEqual:
+  esc-alias: '!h='
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF401"
+NotLeftTriangle:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: NotLeftTriangle
+  unicode-equivalent: "\u22EA"
+  unicode-equivalent-name: NOT NORMAL SUBGROUP OF
+  wl-unicode: "\u22EA"
+  wl-unicode-name: NOT NORMAL SUBGROUP OF
+NotLeftTriangleBar:
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF412"
+NotLeftTriangleEqual:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: NotLeftTriangleEqual
+  unicode-equivalent: "\u22EC"
+  unicode-equivalent-name: NOT NORMAL SUBGROUP OF OR EQUAL TO
+  wl-unicode: "\u22EC"
+  wl-unicode-name: NOT NORMAL SUBGROUP OF OR EQUAL TO
+NotLess:
+  esc-alias: '!<'
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: NotLess
+  unicode-equivalent: "\u226E"
+  unicode-equivalent-name: NOT LESS-THAN
+  wl-unicode: "\u226E"
+  wl-unicode-name: NOT LESS-THAN
+NotLessEqual:
+  esc-alias: '!<='
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: NotLessEqual
+  unicode-equivalent: "\u2270"
+  unicode-equivalent-name: NEITHER LESS-THAN NOR EQUAL TO
+  wl-unicode: "\u2270"
+  wl-unicode-name: NEITHER LESS-THAN NOR EQUAL TO
+NotLessFullEqual:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: NotLessFullEqual
+  unicode-equivalent: "\u2268"
+  unicode-equivalent-name: LESS-THAN BUT NOT EQUAL TO
+  wl-unicode: "\u2268"
+  wl-unicode-name: LESS-THAN BUT NOT EQUAL TO
+NotLessGreater:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: NotLessGreater
+  unicode-equivalent: "\u2278"
+  unicode-equivalent-name: NEITHER LESS-THAN NOR GREATER-THAN
+  wl-unicode: "\u2278"
+  wl-unicode-name: NEITHER LESS-THAN NOR GREATER-THAN
+NotLessLess:
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF422"
+NotLessSlantEqual:
+  esc-alias: '!</'
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF424"
+NotLessTilde:
+  esc-alias: '!<~'
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: NotLessTilde
+  unicode-equivalent: "\u2274"
+  unicode-equivalent-name: NEITHER LESS-THAN NOR EQUIVALENT TO
+  wl-unicode: "\u2274"
+  wl-unicode-name: NEITHER LESS-THAN NOR EQUIVALENT TO
+NotNestedGreaterGreater:
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF428"
+NotNestedLessLess:
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF423"
+NotPrecedes:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: NotPrecedes
+  unicode-equivalent: "\u2280"
+  unicode-equivalent-name: DOES NOT PRECEDE
+  wl-unicode: "\u2280"
+  wl-unicode-name: DOES NOT PRECEDE
+NotPrecedesEqual:
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF42B"
+NotPrecedesSlantEqual:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: NotPrecedesSlantEqual
+  unicode-equivalent: "\u22E0"
+  unicode-equivalent-name: DOES NOT PRECEDE OR EQUAL
+  wl-unicode: "\u22E0"
+  wl-unicode-name: DOES NOT PRECEDE OR EQUAL
+NotPrecedesTilde:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: NotPrecedesTilde
+  unicode-equivalent: "\u22E8"
+  unicode-equivalent-name: PRECEDES BUT NOT EQUIVALENT TO
+  wl-unicode: "\u22E8"
+  wl-unicode-name: PRECEDES BUT NOT EQUIVALENT TO
+NotReverseElement:
+  esc-alias: '!mem'
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: NotReverseElement
+  unicode-equivalent: "\u220C"
+  unicode-equivalent-name: DOES NOT CONTAIN AS MEMBER
+  wl-unicode: "\u220C"
+  wl-unicode-name: DOES NOT CONTAIN AS MEMBER
+NotRightTriangle:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: NotRightTriangle
+  unicode-equivalent: "\u22EB"
+  unicode-equivalent-name: DOES NOT CONTAIN AS NORMAL SUBGROUP
+  wl-unicode: "\u22EB"
+  wl-unicode-name: DOES NOT CONTAIN AS NORMAL SUBGROUP
+NotRightTriangleBar:
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF413"
+NotRightTriangleEqual:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: NotRightTriangleEqual
+  unicode-equivalent: "\u22ED"
+  unicode-equivalent-name: DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL
+  wl-unicode: "\u22ED"
+  wl-unicode-name: DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL
+NotSquareSubset:
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF42E"
+NotSquareSubsetEqual:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: NotSquareSubsetEqual
+  unicode-equivalent: "\u22E2"
+  unicode-equivalent-name: NOT SQUARE IMAGE OF OR EQUAL TO
+  wl-unicode: "\u22E2"
+  wl-unicode-name: NOT SQUARE IMAGE OF OR EQUAL TO
+NotSquareSuperset:
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF42F"
+NotSquareSupersetEqual:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: NotSquareSupersetEqual
+  unicode-equivalent: "\u22E3"
+  unicode-equivalent-name: NOT SQUARE ORIGINAL OF OR EQUAL TO
+  wl-unicode: "\u22E3"
+  wl-unicode-name: NOT SQUARE ORIGINAL OF OR EQUAL TO
+NotSubset:
+  esc-alias: '!sub'
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: NotSubset
+  unicode-equivalent: "\u2284"
+  unicode-equivalent-name: NOT A SUBSET OF
+  wl-unicode: "\u2284"
+  wl-unicode-name: NOT A SUBSET OF
+NotSubsetEqual:
+  esc-alias: '!sub='
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: NotSubsetEqual
+  unicode-equivalent: "\u2288"
+  unicode-equivalent-name: NEITHER A SUBSET OF NOR EQUAL TO
+  wl-unicode: "\u2288"
+  wl-unicode-name: NEITHER A SUBSET OF NOR EQUAL TO
+NotSucceeds:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: NotSucceeds
+  unicode-equivalent: "\u2281"
+  unicode-equivalent-name: DOES NOT SUCCEED
+  wl-unicode: "\u2281"
+  wl-unicode-name: DOES NOT SUCCEED
+NotSucceedsEqual:
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF42D"
+NotSucceedsSlantEqual:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: NotSucceedsSlantEqual
+  unicode-equivalent: "\u22E1"
+  unicode-equivalent-name: DOES NOT SUCCEED OR EQUAL
+  wl-unicode: "\u22E1"
+  wl-unicode-name: DOES NOT SUCCEED OR EQUAL
+NotSucceedsTilde:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: NotSucceedsTilde
+  unicode-equivalent: "\u22E9"
+  unicode-equivalent-name: SUCCEEDS BUT NOT EQUIVALENT TO
+  wl-unicode: "\u22E9"
+  wl-unicode-name: SUCCEEDS BUT NOT EQUIVALENT TO
+NotSuperset:
+  esc-alias: '!sup'
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: NotSuperset
+  unicode-equivalent: "\u2285"
+  unicode-equivalent-name: NOT A SUPERSET OF
+  wl-unicode: "\u2285"
+  wl-unicode-name: NOT A SUPERSET OF
+NotSupersetEqual:
+  esc-alias: '!sup='
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: NotSupersetEqual
+  unicode-equivalent: "\u2289"
+  unicode-equivalent-name: NEITHER A SUPERSET OF NOR EQUAL TO
+  wl-unicode: "\u2289"
+  wl-unicode-name: NEITHER A SUPERSET OF NOR EQUAL TO
+NotTilde:
+  esc-alias: '!~'
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: NotTilde
+  unicode-equivalent: "\u2241"
+  unicode-equivalent-name: NOT TILDE
+  wl-unicode: "\u2241"
+  wl-unicode-name: NOT TILDE
+NotTildeEqual:
+  esc-alias: '!~='
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: NotTildeEqual
+  unicode-equivalent: "\u2244"
+  unicode-equivalent-name: NOT ASYMPTOTICALLY EQUAL TO
+  wl-unicode: "\u2244"
+  wl-unicode-name: NOT ASYMPTOTICALLY EQUAL TO
+NotTildeFullEqual:
+  esc-alias: '!~=='
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: NotTildeFullEqual
+  unicode-equivalent: "\u2247"
+  unicode-equivalent-name: NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO
+  wl-unicode: "\u2247"
+  wl-unicode-name: NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO
+NotTildeTilde:
+  esc-alias: '!~~'
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: NotTildeTilde
+  unicode-equivalent: "\u2249"
+  unicode-equivalent-name: NOT ALMOST EQUAL TO
+  wl-unicode: "\u2249"
+  wl-unicode-name: NOT ALMOST EQUAL TO
+NotVerticalBar:
+  esc-alias: '!|'
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF3D1"
+Nu:
+  esc-alias: n
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03BD"
+  unicode-equivalent-name: GREEK SMALL LETTER NU
+  wl-unicode: "\u03BD"
+  wl-unicode-name: GREEK SMALL LETTER NU
+'Null':
+  esc-alias: 'null'
+  has-unicode-inverse: false
+  is-letter-like: true
+  wl-unicode: "\uF3A0"
+NumberSign:
+  esc-alias: '#'
+  has-unicode-inverse: false
+  is-letter-like: false
+  # Leave out equvalent here so scanner will match this as a Slot
+  # unicode-equivalent: '#'
+  # unicode-equivalent-name: NUMBER SIGN
+  wl-unicode: "\uF724"
+OAcute:
+  esc-alias: o'
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xF3"
+  unicode-equivalent-name: LATIN SMALL LETTER O WITH ACUTE
+  wl-unicode: "\xF3"
+  wl-unicode-name: LATIN SMALL LETTER O WITH ACUTE
+ODoubleAcute:
+  esc-alias: o''
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u0151"
+  unicode-equivalent-name: LATIN SMALL LETTER O WITH DOUBLE ACUTE
+  wl-unicode: "\u0151"
+  wl-unicode-name: LATIN SMALL LETTER O WITH DOUBLE ACUTE
+ODoubleDot:
+  esc-alias: o"
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xF6"
+  unicode-equivalent-name: LATIN SMALL LETTER O WITH DIAERESIS
+  wl-unicode: "\xF6"
+  wl-unicode-name: LATIN SMALL LETTER O WITH DIAERESIS
+OE:
+  esc-alias: oe
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u0153"
+  unicode-equivalent-name: LATIN SMALL LIGATURE OE
+  wl-unicode: "\u0153"
+  wl-unicode-name: LATIN SMALL LIGATURE OE
+OGrave:
+  esc-alias: o`
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xF2"
+  unicode-equivalent-name: LATIN SMALL LETTER O WITH GRAVE
+  wl-unicode: "\xF2"
+  wl-unicode-name: LATIN SMALL LETTER O WITH GRAVE
+OHat:
+  esc-alias: o^
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xF4"
+  unicode-equivalent-name: LATIN SMALL LETTER O WITH CIRCUMFLEX
+  wl-unicode: "\xF4"
+  wl-unicode-name: LATIN SMALL LETTER O WITH CIRCUMFLEX
+OSlash:
+  esc-alias: o/
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xF8"
+  unicode-equivalent-name: LATIN SMALL LETTER O WITH STROKE
+  wl-unicode: "\xF8"
+  wl-unicode-name: LATIN SMALL LETTER O WITH STROKE
+OTilde:
+  esc-alias: o~
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xF5"
+  unicode-equivalent-name: LATIN SMALL LETTER O WITH TILDE
+  wl-unicode: "\xF5"
+  wl-unicode-name: LATIN SMALL LETTER O WITH TILDE
+Omega:
+  esc-alias: o
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03C9"
+  unicode-equivalent-name: GREEK SMALL LETTER OMEGA
+  wl-unicode: "\u03C9"
+  wl-unicode-name: GREEK SMALL LETTER OMEGA
+Omicron:
+  esc-alias: om
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03BF"
+  unicode-equivalent-name: GREEK SMALL LETTER OMICRON
+  wl-unicode: "\u03BF"
+  wl-unicode-name: GREEK SMALL LETTER OMICRON
+OpenCurlyDoubleQuote:
+  esc-alias: '["'
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u201C"
+  unicode-equivalent-name: LEFT DOUBLE QUOTATION MARK
+  wl-unicode: "\u201C"
+  wl-unicode-name: LEFT DOUBLE QUOTATION MARK
+OpenCurlyQuote:
+  esc-alias: '['''
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2018"
+  unicode-equivalent-name: LEFT SINGLE QUOTATION MARK
+  wl-unicode: "\u2018"
+  wl-unicode-name: LEFT SINGLE QUOTATION MARK
+Option:
+  ascii: ":"
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Option
+OptionKey:
+  esc-alias: opt
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF7D2"
+Or:
+  esc-alias: '||'
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2228"
+  unicode-equivalent-name: LOGICAL OR
+  wl-unicode: "\u2228"
+  wl-unicode-name: LOGICAL OR
+OverBrace:
+  esc-alias: o{
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\uFE37"
+  unicode-equivalent-name: PRESENTATION FORM FOR VERTICAL LEFT CURLY BRACKET
+  wl-unicode: "\uFE37"
+  wl-unicode-name: PRESENTATION FORM FOR VERTICAL LEFT CURLY BRACKET
+OverBracket:
+  esc-alias: o[
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u23B4"
+  unicode-equivalent-name: TOP SQUARE BRACKET
+  wl-unicode: "\u23B4"
+  wl-unicode-name: TOP SQUARE BRACKET
+OverParenthesis:
+  esc-alias: o(
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\uFE35"
+  unicode-equivalent-name: PRESENTATION FORM FOR VERTICAL LEFT PARENTHESIS
+  wl-unicode: "\uFE35"
+  wl-unicode-name: PRESENTATION FORM FOR VERTICAL LEFT PARENTHESIS
+Paragraph:
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\xB6"
+  unicode-equivalent-name: PILCROW SIGN
+  wl-unicode: "\xB6"
+  wl-unicode-name: PILCROW SIGN
+
+# https://en.wikipedia.org/wiki/%E2%88%82 seems
+# to agree here.
+PartialD:
+  esc-alias: pd
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2202"
+  unicode-equivalent-name: PARTIAL DIFFERENTIAL
+  wl-unicode: "\u2202"
+  wl-unicode-name: PARTIAL DIFFERENTIAL
+PermutationProduct:
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u2299"
+  unicode-equivalent-name: CIRCLED DOT OPERATOR
+  wl-unicode: "\uF3DE"
+Perpendicular:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u27C2"
+  unicode-equivalent-name: PERPENDICULAR
+  wl-unicode: "\u27C2"
+  wl-unicode-name: PERPENDICULAR
+Phi:
+  esc-alias: ph
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03D5"
+  unicode-equivalent-name: GREEK PHI SYMBOL
+  wl-unicode: "\u03D5"
+  wl-unicode-name: GREEK PHI SYMBOL
+Pi:
+  esc-alias: p
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03C0"
+  unicode-equivalent-name: GREEK SMALL LETTER PI
+  wl-unicode: "\u03C0"
+  wl-unicode-name: GREEK SMALL LETTER PI
+Piecewise:
+  esc-alias: pw
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF361"
+PiscesSign:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2653"
+  unicode-equivalent-name: PISCES
+  wl-unicode: "\u2653"
+  wl-unicode-name: PISCES
+Placeholder:
+  esc-alias: pl
+  has-unicode-inverse: true
+  is-letter-like: true
+  unicode-equivalent: "\u2395"
+  unicode-equivalent-name: APL FUNCTIONAL SYMBOL QUAD
+  wl-unicode: "\uF528"
+Plus:
+  ascii: "+"
+  has-unicode-inverse: true
+  is-letter-like: false
+  operator-name: Plus
+  unicode-equivalent: "+"
+  unicode-equivalent-name: PLUS SIGN
+  wl-unicode: "+"
+  wl-unicode-name: PLUS SIGN
+PlusMinus:
+  esc-alias: +-
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xB1"
+  unicode-equivalent-name: PLUS-MINUS SIGN
+  wl-unicode: "\xB1"
+  wl-unicode-name: PLUS-MINUS SIGN
+Pluto:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2647"
+  unicode-equivalent-name: PLUTO
+  wl-unicode: "\u2647"
+  wl-unicode-name: PLUTO
+Postfix:
+  ascii: "//"
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Postfix
+Power:
+  ascii: "^"
+  has-unicode-inverse: true
+  is-letter-like: false
+  operator-name: Power
+  unicode-equivalent: "^"
+  unicode-equivalent-name: CIRCUMFLEX ACCENT
+  wl-unicode: "^"
+  wl-unicode-name: CIRCUMFLEX ACCENT
+Precedes:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Precedes
+  unicode-equivalent: "\u227A"
+  unicode-equivalent-name: PRECEDES
+  wl-unicode: "\u227A"
+  wl-unicode-name: PRECEDES
+PrecedesEqual:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: PrecedesEqual
+  unicode-equivalent: "\u2AAF"
+  unicode-equivalent-name: PRECEDES ABOVE SINGLE-LINE EQUALS SIGN
+  wl-unicode: "\u2AAF"
+  wl-unicode-name: PRECEDES ABOVE SINGLE-LINE EQUALS SIGN
+PrecedesSlantEqual:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: PrecedesSlantEqual
+  unicode-equivalent: "\u227C"
+  unicode-equivalent-name: PRECEDES OR EQUAL TO
+  wl-unicode: "\u227C"
+  wl-unicode-name: PRECEDES OR EQUAL TO
+PrecedesTilde:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: PrecedesTilde
+  unicode-equivalent: "\u227E"
+  unicode-equivalent-name: PRECEDES OR EQUIVALENT TO
+  wl-unicode: "\u227E"
+  wl-unicode-name: PRECEDES OR EQUIVALENT TO
+
+# Prefix isn't really an operator
+# Prefix:
+#  ascii: "@"
+#  has-unicode-inverse: false
+#  is-letter-like: false
+#  operator-name: Prefix
+
+Prime:
+  esc-alias: ''''
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u2032"
+  unicode-equivalent-name: PRIME
+  wl-unicode: "\u2032"
+  wl-unicode-name: PRIME
+Product:
+  esc-alias: prod
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Product
+  unicode-equivalent: "\u220F"
+  unicode-equivalent-name: N-ARY PRODUCT
+  wl-unicode: "\u220F"
+  wl-unicode-name: N-ARY PRODUCT
+Proportion:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Proportion
+  unicode-equivalent: "\u2237"
+  unicode-equivalent-name: PROPORTION
+  wl-unicode: "\u2237"
+  wl-unicode-name: PROPORTION
+Proportional:
+  esc-alias: prop
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Proportional
+  unicode-equivalent: "\u221D"
+  unicode-equivalent-name: PROPORTIONAL TO
+  wl-unicode: "\u221D"
+  wl-unicode-name: PROPORTIONAL TO
+Psi:
+  esc-alias: ps
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03C8"
+  unicode-equivalent-name: GREEK SMALL LETTER PSI
+  wl-unicode: "\u03C8"
+  wl-unicode-name: GREEK SMALL LETTER PSI
+Put:
+  ascii: ">>"
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Put
+PutAppend:
+  ascii: ">>>"
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: PutAppend
+QuarterNote:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2669"
+  unicode-equivalent-name: QUARTER NOTE
+  wl-unicode: "\u2669"
+  wl-unicode-name: QUARTER NOTE
+RHacek:
+  esc-alias: rv
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u0159"
+  unicode-equivalent-name: LATIN SMALL LETTER R WITH CARON
+  wl-unicode: "\u0159"
+  wl-unicode-name: LATIN SMALL LETTER R WITH CARON
+# See also Function
+RawAmpersand:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "&"
+  unicode-equivalent-name: AMPERSAND
+  wl-unicode: '&'
+  wl-unicode-name: AMPERSAND
+RawAt:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: '@'
+  unicode-equivalent-name: COMMERCIAL AT
+  wl-unicode: '@'
+  wl-unicode-name: COMMERCIAL AT
+RawBackquote:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: '`'
+  unicode-equivalent-name: GRAVE ACCENT
+  wl-unicode: '`'
+  wl-unicode-name: GRAVE ACCENT
+RawBackslash:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: \
+  unicode-equivalent-name: REVERSE SOLIDUS
+  wl-unicode: \
+  wl-unicode-name: REVERSE SOLIDUS
+RawColon:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: ':'
+  unicode-equivalent-name: COLON
+  wl-unicode: ':'
+  wl-unicode-name: COLON
+RawComma:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: ','
+  unicode-equivalent-name: COMMA
+  wl-unicode: ','
+  wl-unicode-name: COMMA
+RawDollar:
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: $
+  unicode-equivalent-name: DOLLAR SIGN
+  wl-unicode: $
+  wl-unicode-name: DOLLAR SIGN
+RawDoubleQuote:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: '"'
+  unicode-equivalent-name: QUOTATION MARK
+  wl-unicode: '"'
+  wl-unicode-name: QUOTATION MARK
+RawEscape:
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\e"
+# Note: RawGreater WL's name for Mathics Greater or ASCII ">"
+RawGreater:
+  ascii: ">"
+  has-unicode-inverse: true
+  is-letter-like: false
+  operator-name: RawGreater
+  unicode-equivalent: "\u003e"
+  unicode-equivalent-name: GREATER-THAN SIGN
+  wl-unicode: "\u003e"
+  wl-unicode-name: GREATER-THAN SIGN
+RawLeftBrace:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: '{'
+  unicode-equivalent-name: LEFT CURLY BRACKET
+  wl-unicode: '{'
+  wl-unicode-name: LEFT CURLY BRACKET
+RawLeftBracket:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: '['
+  unicode-equivalent-name: LEFT SQUARE BRACKET
+  wl-unicode: '['
+  wl-unicode-name: LEFT SQUARE BRACKET
+RawLeftParenthesis:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: (
+  unicode-equivalent-name: LEFT PARENTHESIS
+  wl-unicode: (
+  wl-unicode-name: LEFT PARENTHESIS
+RawNumberSign:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: '#'
+  unicode-equivalent-name: NUMBER SIGN
+  wl-unicode: '#'
+  wl-unicode-name: NUMBER SIGN
+RawPercent:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: '%'
+  unicode-equivalent-name: PERCENT SIGN
+  wl-unicode: '%'
+  wl-unicode-name: PERCENT SIGN
+RawQuestion:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "?"
+  unicode-equivalent-name: QUESTION MARK
+  wl-unicode: "?"
+  wl-unicode-name: QUESTION MARK
+RawQuote:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "'"
+  unicode-equivalent-name: APOSTROPHE
+  wl-unicode: "'"
+  wl-unicode-name: APOSTROPHE
+RawReturn:
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u000D"
+  wl-unicode: "\u000D"
+RawRightBrace:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: '}'
+  unicode-equivalent-name: RIGHT CURLY BRACKET
+  wl-unicode: '}'
+  wl-unicode-name: RIGHT CURLY BRACKET
+RawRightBracket:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: ']'
+  unicode-equivalent-name: RIGHT SQUARE BRACKET
+  wl-unicode: ']'
+  wl-unicode-name: RIGHT SQUARE BRACKET
+RawRightParenthesis:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: )
+  unicode-equivalent-name: RIGHT PARENTHESIS
+  wl-unicode: )
+  wl-unicode-name: RIGHT PARENTHESIS
+RawSemicolon:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: ;
+  unicode-equivalent-name: SEMICOLON
+  wl-unicode: ;
+  wl-unicode-name: SEMICOLON
+# RawSlash is not an operator. Divide which
+# looks the same, however is.
+RawSlash:
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: /
+  unicode-equivalent-name: SOLIDUS
+  wl-unicode: /
+  wl-unicode-name: SOLIDUS
+RawSpace:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: ' '
+  unicode-equivalent-name: SPACE
+  wl-unicode: ' '
+  wl-unicode-name: SPACE
+RawStar:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: '*'
+  unicode-equivalent-name: ASTERISK
+  wl-unicode: '*'
+  wl-unicode-name: ASTERISK
+RawTab:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\t"
+  wl-unicode: "\t"
+RawTilde:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: '~'
+  unicode-equivalent-name: TILDE
+  wl-unicode: '~'
+  wl-unicode-name: TILDE
+RawUnderscore:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: _
+  unicode-equivalent-name: LOW LINE
+  wl-unicode: _
+  wl-unicode-name: LOW LINE
+# RawVerticalBar is the same thing as Alternative. Go figure.
+RawVerticalBar:
+  ascii: "|"
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: '|'
+  unicode-equivalent-name: VERTICAL LINE
+  wl-unicode: '|'
+  wl-unicode-name: VERTICAL LINE
+RegisteredTrademark:
+  esc-alias: rtm
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\xAE"
+  unicode-equivalent-name: REGISTERED SIGN
+  wl-unicode: "\xAE"
+  wl-unicode-name: REGISTERED SIGN
+Repeated:
+  ascii: ".."
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Repeated
+RepeatedNull:
+  ascii: "..."
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: RepeatedNull
+ReplaceAll:
+  ascii: "/."
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: ReplaceAll
+ReplaceRepeated:
+  ascii: "//."
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: ReplaceRepeated
+ReturnIndicator:
+  esc-alias: ret
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u21B5"
+  unicode-equivalent-name: DOWNWARDS ARROW WITH CORNER LEFTWARDS
+  wl-unicode: "\u21B5"
+  wl-unicode-name: DOWNWARDS ARROW WITH CORNER LEFTWARDS
+ReturnKey:
+  esc-alias: ' ret'
+  has-unicode-inverse: false
+  is-letter-like: true
+  wl-unicode: "\uF766"
+ReverseDoublePrime:
+  esc-alias: '``'
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u2036"
+  unicode-equivalent-name: REVERSED DOUBLE PRIME
+  wl-unicode: "\u2036"
+  wl-unicode-name: REVERSED DOUBLE PRIME
+ReverseElement:
+  esc-alias: mem
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: ReverseElement
+  unicode-equivalent: "\u220B"
+  unicode-equivalent-name: CONTAINS AS MEMBER
+  wl-unicode: "\u220B"
+  wl-unicode-name: CONTAINS AS MEMBER
+ReverseEquilibrium:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: ReverseEquilibrium
+  unicode-equivalent: "\u21CB"
+  unicode-equivalent-name: LEFTWARDS HARPOON OVER RIGHTWARDS HARPOON
+  wl-unicode: "\u21CB"
+  wl-unicode-name: LEFTWARDS HARPOON OVER RIGHTWARDS HARPOON
+ReversePrime:
+  esc-alias: '`'
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u2035"
+  unicode-equivalent-name: REVERSED PRIME
+  wl-unicode: "\u2035"
+  wl-unicode-name: REVERSED PRIME
+ReverseUpEquilibrium:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: ReverseUpEquilibrium
+  unicode-equivalent: "\u296F"
+  unicode-equivalent-name: DOWNWARDS HARPOON WITH BARB LEFT BESIDE UPWARDS HARPOON
+    WITH BARB RIGHT
+  wl-unicode: "\u296F"
+  wl-unicode-name: DOWNWARDS HARPOON WITH BARB LEFT BESIDE UPWARDS HARPOON WITH BARB
+    RIGHT
+Rho:
+  esc-alias: r
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03C1"
+  unicode-equivalent-name: GREEK SMALL LETTER RHO
+  wl-unicode: "\u03C1"
+  wl-unicode-name: GREEK SMALL LETTER RHO
+RightAngle:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u221F"
+  unicode-equivalent-name: RIGHT ANGLE
+  wl-unicode: "\u221F"
+  wl-unicode-name: RIGHT ANGLE
+RightAngleBracket:
+  esc-alias: '>'
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u232A"
+  unicode-equivalent-name: RIGHT-POINTING ANGLE BRACKET
+  wl-unicode: "\u232A"
+  wl-unicode-name: RIGHT-POINTING ANGLE BRACKET
+RightArrow:
+  esc-alias: ' ->'
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: RightArrow
+  unicode-equivalent: "\u2192"
+  unicode-equivalent-name: RIGHTWARDS ARROW
+  wl-unicode: "\u2192"
+  wl-unicode-name: RIGHTWARDS ARROW
+RightArrowBar:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: RightArrowBar
+  unicode-equivalent: "\u21E5"
+  unicode-equivalent-name: RIGHTWARDS ARROW TO BAR
+  wl-unicode: "\u21E5"
+  wl-unicode-name: RIGHTWARDS ARROW TO BAR
+RightArrowLeftArrow:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: RightArrowLeftArrow
+  unicode-equivalent: "\u21C4"
+  unicode-equivalent-name: RIGHTWARDS ARROW OVER LEFTWARDS ARROW
+  wl-unicode: "\u21C4"
+  wl-unicode-name: RIGHTWARDS ARROW OVER LEFTWARDS ARROW
+RightAssociation:
+  esc-alias: '|>'
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF114"
+RightBracketingBar:
+  esc-alias: r|
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: '|'
+  unicode-equivalent-name: VERTICAL LINE
+  wl-unicode: "\uF604"
+RightCeiling:
+  esc-alias: rc
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: RightCeiling
+  unicode-equivalent: "\u2309"
+  unicode-equivalent-name: RIGHT CEILING
+  wl-unicode: "\u2309"
+  wl-unicode-name: RIGHT CEILING
+RightComposition:
+  ascii: "/*"
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: RightComposition
+RightDoubleBracket:
+  esc-alias: ']]'
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u301B"
+  unicode-equivalent-name: RIGHT WHITE SQUARE BRACKET
+  wl-unicode: "\u301B"
+  wl-unicode-name: RIGHT WHITE SQUARE BRACKET
+RightDoubleBracketingBar:
+  ascii: "||"
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: RightDoubleBracketingBar
+  unicode-equivalent: "\u2016"
+  unicode-equivalent-name: DOUBLE VERTICAL LINE
+  wl-unicode: "\uF606"
+RightDownTeeVector:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: RightDownTeeVector
+  unicode-equivalent: "\u295D"
+  unicode-equivalent-name: DOWNWARDS HARPOON WITH BARB RIGHT FROM BAR
+  wl-unicode: "\u295D"
+  wl-unicode-name: DOWNWARDS HARPOON WITH BARB RIGHT FROM BAR
+RightDownVector:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: RightDownVector
+  unicode-equivalent: "\u21C2"
+  unicode-equivalent-name: DOWNWARDS HARPOON WITH BARB RIGHTWARDS
+  wl-unicode: "\u21C2"
+  wl-unicode-name: DOWNWARDS HARPOON WITH BARB RIGHTWARDS
+RightDownVectorBar:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: RightDownVectorBar
+  unicode-equivalent: "\u2955"
+  unicode-equivalent-name: DOWNWARDS HARPOON WITH BARB RIGHT TO BAR
+  wl-unicode: "\u2955"
+  wl-unicode-name: DOWNWARDS HARPOON WITH BARB RIGHT TO BAR
+RightFloor:
+  esc-alias: rf
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: RightFloor
+  unicode-equivalent: "\u230B"
+  unicode-equivalent-name: RIGHT FLOOR
+  wl-unicode: "\u230B"
+  wl-unicode-name: RIGHT FLOOR
+RightGuillemet:
+  esc-alias: g>>
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\xBB"
+  unicode-equivalent-name: RIGHT-POINTING DOUBLE ANGLE QUOTATION MARK
+  wl-unicode: "\xBB"
+  wl-unicode-name: RIGHT-POINTING DOUBLE ANGLE QUOTATION MARK
+RightModified:
+  esc-alias: ']'
+  has-unicode-inverse: false
+  is-letter-like: true
+  wl-unicode: "\uF76C"
+RightPointer:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: RightPointer
+  unicode-equivalent: "\u25B8"
+  unicode-equivalent-name: BLACK RIGHT-POINTING SMALL TRIANGLE
+  wl-unicode: "\u25B8"
+  wl-unicode-name: BLACK RIGHT-POINTING SMALL TRIANGLE
+RightSkeleton:
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\xBB"
+  unicode-equivalent-name: RIGHT-POINTING DOUBLE ANGLE QUOTATION MARK
+  wl-unicode: "\uF762"
+RightTee:
+  esc-alias: rT
+  has-unicode-inverse: false
+  operator-name: RightTee
+  is-letter-like: false
+  unicode-equivalent: "\u22A2"
+  unicode-equivalent-name: RIGHT TACK
+  wl-unicode: "\u22A2"
+  wl-unicode-name: RIGHT TACK
+RightTeeArrow:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u21A6"
+  unicode-equivalent-name: RIGHTWARDS ARROW FROM BAR
+  wl-unicode: "\u21A6"
+  wl-unicode-name: RIGHTWARDS ARROW FROM BAR
+RightTeeVector:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: RightTeeVector
+  unicode-equivalent: "\u295B"
+  unicode-equivalent-name: RIGHTWARDS HARPOON WITH BARB UP FROM BAR
+  wl-unicode: "\u295B"
+  wl-unicode-name: RIGHTWARDS HARPOON WITH BARB UP FROM BAR
+RightTriangle:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: RightTriangle
+  unicode-equivalent: "\u22B3"
+  unicode-equivalent-name: CONTAINS AS NORMAL SUBGROUP
+  wl-unicode: "\u22B3"
+  wl-unicode-name: CONTAINS AS NORMAL SUBGROUP
+RightTriangleBar:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: RightTriangleBar
+  unicode-equivalent: "\u29D0"
+  unicode-equivalent-name: VERTICAL BAR BESIDE RIGHT TRIANGLE
+  wl-unicode: "\u29D0"
+  wl-unicode-name: VERTICAL BAR BESIDE RIGHT TRIANGLE
+RightTriangleEqual:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: RightTriangleEqual
+  unicode-equivalent: "\u22B5"
+  unicode-equivalent-name: CONTAINS AS NORMAL SUBGROUP OR EQUAL TO
+  wl-unicode: "\u22B5"
+  wl-unicode-name: CONTAINS AS NORMAL SUBGROUP OR EQUAL TO
+RightUpDownVector:
+  has-unicode-inverse: false
+  operator-name: RightUpDownVector
+  is-letter-like: false
+  unicode-equivalent: "\u294F"
+  unicode-equivalent-name: UP BARB RIGHT DOWN BARB RIGHT HARPOON
+  wl-unicode: "\u294F"
+  wl-unicode-name: UP BARB RIGHT DOWN BARB RIGHT HARPOON
+RightUpTeeVector:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: RightUpTeeVector
+  unicode-equivalent: "\u295C"
+  unicode-equivalent-name: UPWARDS HARPOON WITH BARB RIGHT FROM BAR
+  wl-unicode: "\u295C"
+  wl-unicode-name: UPWARDS HARPOON WITH BARB RIGHT FROM BAR
+RightUpVector:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: RightUpVector
+  unicode-equivalent: "\u21BE"
+  unicode-equivalent-name: UPWARDS HARPOON WITH BARB RIGHTWARDS
+  wl-unicode: "\u21BE"
+  wl-unicode-name: UPWARDS HARPOON WITH BARB RIGHTWARDS
+RightUpVectorBar:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: RightUpVectorBar
+  unicode-equivalent: "\u2954"
+  unicode-equivalent-name: UPWARDS HARPOON WITH BARB RIGHT TO BAR
+  wl-unicode: "\u2954"
+  wl-unicode-name: UPWARDS HARPOON WITH BARB RIGHT TO BAR
+RightVector:
+  esc-alias: vec
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: RightVector
+  unicode-equivalent: "\u21C0"
+  unicode-equivalent-name: RIGHTWARDS HARPOON WITH BARB UPWARDS
+  wl-unicode: "\u21C0"
+  wl-unicode-name: RIGHTWARDS HARPOON WITH BARB UPWARDS
+RightVectorBar:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: RightVectorBar
+  unicode-equivalent: "\u2953"
+  unicode-equivalent-name: RIGHTWARDS HARPOON WITH BARB UP TO BAR
+  wl-unicode: "\u2953"
+  wl-unicode-name: RIGHTWARDS HARPOON WITH BARB UP TO BAR
+RoundImplies:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: RoundImplies
+  unicode-equivalent: "\u2970"
+  unicode-equivalent-name: RIGHT DOUBLE ARROW WITH ROUNDED HEAD
+  wl-unicode: "\u2970"
+  wl-unicode-name: RIGHT DOUBLE ARROW WITH ROUNDED HEAD
+RoundSpaceIndicator:
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF3B2"
+Rule:
+  ascii: "->"
+  esc-alias: "->"
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Rule
+  unicode-equivalent: "\u2192"
+  unicode-equivalent-name: RIGHTWARDS ARROW
+  wl-unicode: "\uF522"
+RuleDelayed:
+  ascii: ":>"
+  esc-alias: ":>"
+  has-unicode-inverse: true
+  operator-name: RuleDelayed
+  is-letter-like: false
+  unicode-equivalent: "\u29F4"
+  unicode-equivalent-name: RULE-DELAYED
+  wl-unicode: "\uF51F"
+SHacek:
+  esc-alias: sv
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u0161"
+  unicode-equivalent-name: LATIN SMALL LETTER S WITH CARON
+  wl-unicode: "\u0161"
+  wl-unicode-name: LATIN SMALL LETTER S WITH CARON
+SZ:
+  esc-alias: sz
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xDF"
+  unicode-equivalent-name: LATIN SMALL LETTER SHARP S
+  wl-unicode: "\xDF"
+  wl-unicode-name: LATIN SMALL LETTER SHARP S
+SadSmiley:
+  esc-alias: :-(
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u2639"
+  unicode-equivalent-name: WHITE FROWNING FACE
+  wl-unicode: "\u2639"
+  wl-unicode-name: WHITE FROWNING FACE
+SagittariusSign:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2650"
+  unicode-equivalent-name: SAGITTARIUS
+  wl-unicode: "\u2650"
+  wl-unicode-name: SAGITTARIUS
+SameQ:
+  ascii: "==="
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: SameQ
+Sampi:
+  esc-alias: sa
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u03E1"
+  unicode-equivalent-name: GREEK SMALL LETTER SAMPI
+  wl-unicode: "\u03E1"
+  wl-unicode-name: GREEK SMALL LETTER SAMPI
+Saturn:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2644"
+  unicode-equivalent-name: SATURN
+  wl-unicode: "\u2644"
+  wl-unicode-name: SATURN
+ScorpioSign:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u264F"
+  unicode-equivalent-name: SCORPIUS
+  wl-unicode: "\u264F"
+  wl-unicode-name: SCORPIUS
+ScriptA:
+  esc-alias: sca
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D4B6"
+  unicode-equivalent-name: MATHEMATICAL SCRIPT SMALL A
+  wl-unicode: "\uF6B2"
+ScriptB:
+  esc-alias: scb
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D4B7"
+  unicode-equivalent-name: MATHEMATICAL SCRIPT SMALL B
+  wl-unicode: "\uF6B3"
+ScriptC:
+  esc-alias: scc
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D4B8"
+  unicode-equivalent-name: MATHEMATICAL SCRIPT SMALL C
+  wl-unicode: "\uF6B4"
+ScriptCapitalA:
+  esc-alias: scA
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D49C"
+  unicode-equivalent-name: MATHEMATICAL SCRIPT CAPITAL A
+  wl-unicode: "\uF770"
+ScriptCapitalB:
+  esc-alias: scB
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u212C"
+  unicode-equivalent-name: SCRIPT CAPITAL B
+  wl-unicode: "\u212C"
+  wl-unicode-name: SCRIPT CAPITAL B
+ScriptCapitalC:
+  esc-alias: scC
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D49E"
+  unicode-equivalent-name: MATHEMATICAL SCRIPT CAPITAL C
+  wl-unicode: "\uF772"
+ScriptCapitalD:
+  esc-alias: scD
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D49F"
+  unicode-equivalent-name: MATHEMATICAL SCRIPT CAPITAL D
+  wl-unicode: "\uF773"
+ScriptCapitalE:
+  esc-alias: scE
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2130"
+  unicode-equivalent-name: SCRIPT CAPITAL E
+  wl-unicode: "\u2130"
+  wl-unicode-name: SCRIPT CAPITAL E
+ScriptCapitalF:
+  esc-alias: scF
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2131"
+  unicode-equivalent-name: SCRIPT CAPITAL F
+  wl-unicode: "\u2131"
+  wl-unicode-name: SCRIPT CAPITAL F
+ScriptCapitalG:
+  esc-alias: scG
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D4A2"
+  unicode-equivalent-name: MATHEMATICAL SCRIPT CAPITAL G
+  wl-unicode: "\uF776"
+ScriptCapitalH:
+  esc-alias: scH
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u210B"
+  unicode-equivalent-name: SCRIPT CAPITAL H
+  wl-unicode: "\u210B"
+  wl-unicode-name: SCRIPT CAPITAL H
+ScriptCapitalI:
+  esc-alias: scI
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2110"
+  unicode-equivalent-name: SCRIPT CAPITAL I
+  wl-unicode: "\u2110"
+  wl-unicode-name: SCRIPT CAPITAL I
+ScriptCapitalJ:
+  esc-alias: scJ
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D4A5"
+  unicode-equivalent-name: MATHEMATICAL SCRIPT CAPITAL J
+  wl-unicode: "\uF779"
+ScriptCapitalK:
+  esc-alias: scK
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D4A6"
+  unicode-equivalent-name: MATHEMATICAL SCRIPT CAPITAL K
+  wl-unicode: "\uF77A"
+ScriptCapitalL:
+  esc-alias: scL
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2112"
+  unicode-equivalent-name: SCRIPT CAPITAL L
+  wl-unicode: "\u2112"
+  wl-unicode-name: SCRIPT CAPITAL L
+ScriptCapitalM:
+  esc-alias: scM
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2133"
+  unicode-equivalent-name: SCRIPT CAPITAL M
+  wl-unicode: "\u2133"
+  wl-unicode-name: SCRIPT CAPITAL M
+ScriptCapitalN:
+  esc-alias: scN
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D4A9"
+  unicode-equivalent-name: MATHEMATICAL SCRIPT CAPITAL N
+  wl-unicode: "\uF77D"
+ScriptCapitalO:
+  esc-alias: scO
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D4AA"
+  unicode-equivalent-name: MATHEMATICAL SCRIPT CAPITAL O
+  wl-unicode: "\uF77E"
+ScriptCapitalP:
+  esc-alias: scP
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\U0001D4AB"
+  unicode-equivalent-name: MATHEMATICAL SCRIPT CAPITAL P
+  wl-unicode: "\uF77F"
+ScriptCapitalQ:
+  esc-alias: scQ
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D4AC"
+  unicode-equivalent-name: MATHEMATICAL SCRIPT CAPITAL Q
+  wl-unicode: "\uF780"
+ScriptCapitalR:
+  esc-alias: scR
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u211B"
+  unicode-equivalent-name: SCRIPT CAPITAL R
+  wl-unicode: "\u211B"
+  wl-unicode-name: SCRIPT CAPITAL R
+ScriptCapitalS:
+  esc-alias: scS
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D4AE"
+  unicode-equivalent-name: MATHEMATICAL SCRIPT CAPITAL S
+  wl-unicode: "\uF782"
+ScriptCapitalT:
+  esc-alias: scT
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D4AF"
+  unicode-equivalent-name: MATHEMATICAL SCRIPT CAPITAL T
+  wl-unicode: "\uF783"
+ScriptCapitalU:
+  esc-alias: scU
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D4B0"
+  unicode-equivalent-name: MATHEMATICAL SCRIPT CAPITAL U
+  wl-unicode: "\uF784"
+ScriptCapitalV:
+  esc-alias: scV
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D4B1"
+  unicode-equivalent-name: MATHEMATICAL SCRIPT CAPITAL V
+  wl-unicode: "\uF785"
+ScriptCapitalW:
+  esc-alias: scW
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D4B2"
+  unicode-equivalent-name: MATHEMATICAL SCRIPT CAPITAL W
+  wl-unicode: "\uF786"
+ScriptCapitalX:
+  esc-alias: scX
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D4B3"
+  unicode-equivalent-name: MATHEMATICAL SCRIPT CAPITAL X
+  wl-unicode: "\uF787"
+ScriptCapitalY:
+  esc-alias: scY
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D4B4"
+  unicode-equivalent-name: MATHEMATICAL SCRIPT CAPITAL Y
+  wl-unicode: "\uF788"
+ScriptCapitalZ:
+  esc-alias: scZ
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D4B5"
+  unicode-equivalent-name: MATHEMATICAL SCRIPT CAPITAL Z
+  wl-unicode: "\uF789"
+ScriptD:
+  esc-alias: scd
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D4B9"
+  unicode-equivalent-name: MATHEMATICAL SCRIPT SMALL D
+  wl-unicode: "\uF6B5"
+ScriptDotlessI:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\U0001D4BE"
+  unicode-equivalent-name: MATHEMATICAL SCRIPT SMALL I
+  wl-unicode: "\uF730"
+ScriptDotlessJ:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\U0001D4BF"
+  unicode-equivalent-name: MATHEMATICAL SCRIPT SMALL J
+  wl-unicode: "\uF731"
+ScriptE:
+  esc-alias: sce
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u212F"
+  unicode-equivalent-name: SCRIPT SMALL E
+  wl-unicode: "\u212F"
+  wl-unicode-name: SCRIPT SMALL E
+ScriptEight:
+  esc-alias: sc8
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF7F8"
+ScriptF:
+  esc-alias: scf
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D4BB"
+  unicode-equivalent-name: MATHEMATICAL SCRIPT SMALL F
+  wl-unicode: "\uF6B7"
+ScriptFive:
+  esc-alias: sc5
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF7F5"
+ScriptFour:
+  esc-alias: sc4
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF7F4"
+ScriptG:
+  esc-alias: scg
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u210A"
+  unicode-equivalent-name: SCRIPT SMALL G
+  wl-unicode: "\u210A"
+  wl-unicode-name: SCRIPT SMALL G
+ScriptH:
+  esc-alias: sch
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D4BD"
+  unicode-equivalent-name: MATHEMATICAL SCRIPT SMALL H
+  wl-unicode: "\uF6B9"
+ScriptI:
+  esc-alias: sci
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D4BE"
+  unicode-equivalent-name: MATHEMATICAL SCRIPT SMALL I
+  wl-unicode: "\uF6BA"
+ScriptJ:
+  esc-alias: scj
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D4BF"
+  unicode-equivalent-name: MATHEMATICAL SCRIPT SMALL J
+  wl-unicode: "\uF6BB"
+ScriptK:
+  esc-alias: sck
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D4C0"
+  unicode-equivalent-name: MATHEMATICAL SCRIPT SMALL K
+  wl-unicode: "\uF6BC"
+ScriptL:
+  esc-alias: scl
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2113"
+  unicode-equivalent-name: SCRIPT SMALL L
+  wl-unicode: "\u2113"
+  wl-unicode-name: SCRIPT SMALL L
+ScriptM:
+  esc-alias: scm
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D4C2"
+  unicode-equivalent-name: MATHEMATICAL SCRIPT SMALL M
+  wl-unicode: "\uF6BE"
+ScriptN:
+  esc-alias: scn
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D4C3"
+  unicode-equivalent-name: MATHEMATICAL SCRIPT SMALL N
+  wl-unicode: "\uF6BF"
+ScriptNine:
+  esc-alias: sc9
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF7F9"
+ScriptO:
+  esc-alias: sco
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2134"
+  unicode-equivalent-name: SCRIPT SMALL O
+  wl-unicode: "\u2134"
+  wl-unicode-name: SCRIPT SMALL O
+ScriptOne:
+  esc-alias: sc1
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF7F1"
+ScriptP:
+  esc-alias: scp
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D4C5"
+  unicode-equivalent-name: MATHEMATICAL SCRIPT SMALL P
+  wl-unicode: "\uF6C1"
+ScriptQ:
+  esc-alias: scq
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D4C6"
+  unicode-equivalent-name: MATHEMATICAL SCRIPT SMALL Q
+  wl-unicode: "\uF6C2"
+ScriptR:
+  esc-alias: scr
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D4C7"
+  unicode-equivalent-name: MATHEMATICAL SCRIPT SMALL R
+  wl-unicode: "\uF6C3"
+ScriptS:
+  esc-alias: scs
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D4C8"
+  unicode-equivalent-name: MATHEMATICAL SCRIPT SMALL S
+  wl-unicode: "\uF6C4"
+ScriptSeven:
+  esc-alias: sc7
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF7F7"
+ScriptSix:
+  esc-alias: sc6
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF7F6"
+ScriptT:
+  esc-alias: sct
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D4C9"
+  unicode-equivalent-name: MATHEMATICAL SCRIPT SMALL T
+  wl-unicode: "\uF6C5"
+ScriptThree:
+  esc-alias: sc3
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF7F3"
+ScriptTwo:
+  esc-alias: sc2
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF7F2"
+ScriptU:
+  esc-alias: scu
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D4CA"
+  unicode-equivalent-name: MATHEMATICAL SCRIPT SMALL U
+  wl-unicode: "\uF6C6"
+ScriptV:
+  esc-alias: scv
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D4CB"
+  unicode-equivalent-name: MATHEMATICAL SCRIPT SMALL V
+  wl-unicode: "\uF6C7"
+ScriptW:
+  esc-alias: scw
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D4CC"
+  unicode-equivalent-name: MATHEMATICAL SCRIPT SMALL W
+  wl-unicode: "\uF6C8"
+ScriptX:
+  esc-alias: scx
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D4CD"
+  unicode-equivalent-name: MATHEMATICAL SCRIPT SMALL X
+  wl-unicode: "\uF6C9"
+ScriptY:
+  esc-alias: scy
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D4CE"
+  unicode-equivalent-name: MATHEMATICAL SCRIPT SMALL Y
+  wl-unicode: "\uF6CA"
+ScriptZ:
+  esc-alias: scz
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\U0001D4CF"
+  unicode-equivalent-name: MATHEMATICAL SCRIPT SMALL Z
+  wl-unicode: "\uF6CB"
+ScriptZero:
+  esc-alias: sc0
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF7F0"
+Section:
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\xA7"
+  unicode-equivalent-name: SECTION SIGN
+  wl-unicode: "\xA7"
+  wl-unicode-name: SECTION SIGN
+SelectionPlaceholder:
+  esc-alias: spl
+  has-unicode-inverse: false
+  is-letter-like: true
+  wl-unicode: "\uF527"
+Set:
+  ascii: "="
+  has-unicode-inverse: true
+  is-letter-like: false
+  operator-name: Set
+  unicode-equivalent: "="
+  unicode-equivalent-name: EQUALS SIGN
+  wl-unicode: "="
+  wl-unicode-name: EQUALS SIGN
+SetDelayed:
+  ascii: ":="
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: SetDelayed
+Sharp:
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u266F"
+  unicode-equivalent-name: MUSIC SHARP SIGN
+  wl-unicode: "\u266F"
+  wl-unicode-name: MUSIC SHARP SIGN
+ShortDownArrow:
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u2193"
+  unicode-equivalent-name: DOWNWARDS ARROW
+  wl-unicode: "\uF52B"
+ShortLeftArrow:
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u2190"
+  unicode-equivalent-name: LEFTWARDS ARROW
+  wl-unicode: "\uF526"
+ShortRightArrow:
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u2192"
+  unicode-equivalent-name: RIGHTWARDS ARROW
+  wl-unicode: "\uF525"
+ShortUpArrow:
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u2191"
+  unicode-equivalent-name: UPWARDS ARROW
+  wl-unicode: "\uF52A"
+Sigma:
+  esc-alias: s
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03C3"
+  unicode-equivalent-name: GREEK SMALL LETTER SIGMA
+  wl-unicode: "\u03C3"
+  wl-unicode-name: GREEK SMALL LETTER SIGMA
+SixPointedStar:
+  esc-alias: '*6'
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u2736"
+  unicode-equivalent-name: SIX POINTED BLACK STAR
+  wl-unicode: "\u2736"
+  wl-unicode-name: SIX POINTED BLACK STAR
+SkeletonIndicator:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2043"
+  unicode-equivalent-name: HYPHEN BULLET
+  wl-unicode: "\u2043"
+  wl-unicode-name: HYPHEN BULLET
+SmallCircle:
+  esc-alias: sc
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2218"
+  unicode-equivalent-name: RING OPERATOR
+  wl-unicode: "\u2218"
+  wl-unicode-name: RING OPERATOR
+SpaceIndicator:
+  esc-alias: space
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2423"
+  unicode-equivalent-name: OPEN BOX
+  wl-unicode: "\u2423"
+  wl-unicode-name: OPEN BOX
+SpaceKey:
+  esc-alias: spc
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF7BF"
+SpadeSuit:
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u2660"
+  unicode-equivalent-name: BLACK SPADE SUIT
+  wl-unicode: "\u2660"
+  wl-unicode-name: BLACK SPADE SUIT
+Span:
+  ascii: ";;"
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Span
+SpanFromAbove:
+  esc-alias: sfa
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u22EE"
+  unicode-equivalent-name: VERTICAL ELLIPSIS
+  wl-unicode: "\uF3BB"
+SpanFromBoth:
+  esc-alias: sfb
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u22F1"
+  unicode-equivalent-name: DOWN RIGHT DIAGONAL ELLIPSIS
+  wl-unicode: "\uF3BC"
+SpanFromLeft:
+  esc-alias: sfl
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u22EF"
+  unicode-equivalent-name: MIDLINE HORIZONTAL ELLIPSIS
+  wl-unicode: "\uF3BA"
+SphericalAngle:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2222"
+  unicode-equivalent-name: SPHERICAL ANGLE
+  wl-unicode: "\u2222"
+  wl-unicode-name: SPHERICAL ANGLE
+Sqrt:
+  esc-alias: sqrt
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Sqrt
+  unicode-equivalent: "\u221A"
+  unicode-equivalent-name: SQUARE ROOT
+  wl-unicode: "\u221A"
+  wl-unicode-name: SQUARE ROOT
+Square:
+  esc-alias: sq
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u25AB"
+  unicode-equivalent-name: WHITE SMALL SQUARE
+  wl-unicode: "\uF520"
+SquareIntersection:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: SquareIntersection
+  unicode-equivalent: "\u2293"
+  unicode-equivalent-name: SQUARE CAP
+  wl-unicode: "\u2293"
+  wl-unicode-name: SQUARE CAP
+SquareSubset:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: SquareSubset
+  unicode-equivalent: "\u228F"
+  unicode-equivalent-name: SQUARE IMAGE OF
+  wl-unicode: "\u228F"
+  wl-unicode-name: SQUARE IMAGE OF
+SquareSubsetEqual:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: SquareSubsetEqual
+  unicode-equivalent: "\u2291"
+  unicode-equivalent-name: SQUARE IMAGE OF OR EQUAL TO
+  wl-unicode: "\u2291"
+  wl-unicode-name: SQUARE IMAGE OF OR EQUAL TO
+SquareSuperset:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: SquareSuperset
+  unicode-equivalent: "\u2290"
+  unicode-equivalent-name: SQUARE ORIGINAL OF
+  wl-unicode: "\u2290"
+  wl-unicode-name: SQUARE ORIGINAL OF
+SquareSupersetEqual:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: SquareSupersetEqual
+  unicode-equivalent: "\u2292"
+  unicode-equivalent-name: SQUARE ORIGINAL OF OR EQUAL TO
+  wl-unicode: "\u2292"
+  wl-unicode-name: SQUARE ORIGINAL OF OR EQUAL TO
+SquareUnion:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: SquareUnion
+  unicode-equivalent: "\u2294"
+  unicode-equivalent-name: SQUARE CUP
+  wl-unicode: "\u2294"
+  wl-unicode-name: SQUARE CUP
+Star:
+  esc-alias: star
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u22C6"
+  unicode-equivalent-name: STAR OPERATOR
+  wl-unicode: "\u22C6"
+  wl-unicode-name: STAR OPERATOR
+Sterling:
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\xA3"
+  unicode-equivalent-name: POUND SIGN
+  wl-unicode: "\xA3"
+  wl-unicode-name: POUND SIGN
+Stigma:
+  esc-alias: sti
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03DB"
+  unicode-equivalent-name: GREEK SMALL LETTER STIGMA
+  wl-unicode: "\u03DB"
+  wl-unicode-name: GREEK SMALL LETTER STIGMA
+StringExpression:
+  ascii: "~~"
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: StringExpression
+StringJoin:
+  ascii: "<>"
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: StringJoin
+Subset:
+  esc-alias: sub
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Subset
+  unicode-equivalent: "\u2282"
+  unicode-equivalent-name: SUBSET OF
+  wl-unicode: "\u2282"
+  wl-unicode-name: SUBSET OF
+SubsetEqual:
+  esc-alias: sub=
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: SubsetEqual
+  unicode-equivalent: "\u2286"
+  unicode-equivalent-name: SUBSET OF OR EQUAL TO
+  wl-unicode: "\u2286"
+  wl-unicode-name: SUBSET OF OR EQUAL TO
+SubtractFrom:
+  ascii: "-="
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: SubtractFrom
+Succeeds:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u227B"
+  unicode-equivalent-name: SUCCEEDS
+  operator-name: Succeeds
+  wl-unicode: "\u227B"
+  wl-unicode-name: SUCCEEDS
+SucceedsEqual:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: SucceedsEqual
+  unicode-equivalent: "\u2AB0"
+  unicode-equivalent-name: SUCCEEDS ABOVE SINGLE-LINE EQUALS SIGN
+  wl-unicode: "\u2AB0"
+  wl-unicode-name: SUCCEEDS ABOVE SINGLE-LINE EQUALS SIGN
+SucceedsSlantEqual:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: SucceedsSlantEqual
+  unicode-equivalent: "\u227D"
+  unicode-equivalent-name: SUCCEEDS OR EQUAL TO
+  wl-unicode: "\u227D"
+  wl-unicode-name: SUCCEEDS OR EQUAL TO
+SucceedsTilde:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: SucceedsTilde
+  unicode-equivalent: "\u227F"
+  unicode-equivalent-name: SUCCEEDS OR EQUIVALENT TO
+  wl-unicode: "\u227F"
+  wl-unicode-name: SUCCEEDS OR EQUIVALENT TO
+SuchThat:
+  esc-alias: st
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: SuchThat
+  unicode-equivalent: "\u220D"
+  unicode-equivalent-name: SMALL CONTAINS AS MEMBER
+  wl-unicode: "\u220D"
+  wl-unicode-name: SMALL CONTAINS AS MEMBER
+Sum:
+  esc-alias: sum
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Sum
+  unicode-equivalent: "\u2211"
+  unicode-equivalent-name: N-ARY SUMMATION
+  wl-unicode: "\u2211"
+  wl-unicode-name: N-ARY SUMMATION
+Superset:
+  esc-alias: sup
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Superset
+  unicode-equivalent: "\u2283"
+  unicode-equivalent-name: SUPERSET OF
+  wl-unicode: "\u2283"
+  wl-unicode-name: SUPERSET OF
+SupersetEqual:
+  esc-alias: sup=
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: SupersetEqual
+  unicode-equivalent: "\u2287"
+  unicode-equivalent-name: SUPERSET OF OR EQUAL TO
+  wl-unicode: "\u2287"
+  wl-unicode-name: SUPERSET OF OR EQUAL TO
+SystemEnterKey:
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF75F"
+SystemsModelDelay:
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF3AF"
+THacek:
+  esc-alias: tv
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u0165"
+  unicode-equivalent-name: LATIN SMALL LETTER T WITH CARON
+  wl-unicode: "\u0165"
+  wl-unicode-name: LATIN SMALL LETTER T WITH CARON
+TabKey:
+  esc-alias: tab
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF7BE"
+TagSet:
+  ascii: "/:"
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: TagSet
+Tau:
+  esc-alias: t
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03C4"
+  unicode-equivalent-name: GREEK SMALL LETTER TAU
+  wl-unicode: "\u03C4"
+  wl-unicode-name: GREEK SMALL LETTER TAU
+TaurusSign:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2649"
+  unicode-equivalent-name: TAURUS
+  wl-unicode: "\u2649"
+  wl-unicode-name: TAURUS
+TensorProduct:
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u2297"
+  unicode-equivalent-name: CIRCLED TIMES
+  wl-unicode: "\uF3DA"
+TensorWedge:
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF3DB"
+Therefore:
+  esc-alias: tf
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Therefore
+  unicode-equivalent: "\u2234"
+  unicode-equivalent-name: THEREFORE
+  wl-unicode: "\u2234"
+  wl-unicode-name: THEREFORE
+Theta:
+  esc-alias: th
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03B8"
+  unicode-equivalent-name: GREEK SMALL LETTER THETA
+  wl-unicode: "\u03B8"
+  wl-unicode-name: GREEK SMALL LETTER THETA
+ThickSpace:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2005"
+  unicode-equivalent-name: FOUR-PER-EM SPACE
+  wl-unicode: "\u2005"
+  wl-unicode-name: FOUR-PER-EM SPACE
+ThinSpace:
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\u2009"
+  wl-unicode-name: THIN SPACE
+Thorn:
+  esc-alias: thn
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xFE"
+  unicode-equivalent-name: LATIN SMALL LETTER THORN
+  wl-unicode: "\xFE"
+  wl-unicode-name: LATIN SMALL LETTER THORN
+Tilde:
+  esc-alias: '~'
+  ascii: "~"
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Tilde
+  unicode-equivalent: "\u223C"
+  unicode-equivalent-name: TILDE OPERATOR
+  wl-unicode: "\u223C"
+  wl-unicode-name: TILDE OPERATOR
+TildeEqual:
+  esc-alias: ~=
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: TildeEqual
+  unicode-equivalent: "\u2243"
+  unicode-equivalent-name: ASYMPTOTICALLY EQUAL TO
+  wl-unicode: "\u2243"
+  wl-unicode-name: ASYMPTOTICALLY EQUAL TO
+TildeFullEqual:
+  esc-alias: ~==
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: TildeFullEqual
+  unicode-equivalent: "\u2245"
+  unicode-equivalent-name: APPROXIMATELY EQUAL TO
+  wl-unicode: "\u2245"
+  wl-unicode-name: APPROXIMATELY EQUAL TO
+TildeTilde:
+  esc-alias: ~~
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: TildeTilde
+  unicode-equivalent: "\u2248"
+  unicode-equivalent-name: ALMOST EQUAL TO
+  wl-unicode: "\u2248"
+  wl-unicode-name: ALMOST EQUAL TO
+Times:
+  ascii: '*'
+  esc-alias: '*'
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Times
+  unicode-equivalent: "\xD7"
+  unicode-equivalent-name: MULTIPLICATION SIGN
+  wl-unicode: "\xD7"
+  wl-unicode-name: MULTIPLICATION SIGN
+TimesBy:
+  ascii: "*="
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: TimesBy
+Trademark:
+  esc-alias: tm
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\u2122"
+  unicode-equivalent-name: TRADE MARK SIGN
+  wl-unicode: "\u2122"
+  wl-unicode-name: TRADE MARK SIGN
+Transpose:
+  esc-alias: tr
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u1D40"
+  unicode-equivalent-name: MODIFIER LETTER CAPITAL T
+  wl-unicode: "\uF3C7"
+TripleDot:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u22EF"
+  unicode-equivalent-name: MIDLINE HORIZONTAL ELLIPSIS
+  wl-unicode: "\uF758"
+UAcute:
+  esc-alias: u'
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xFA"
+  unicode-equivalent-name: LATIN SMALL LETTER U WITH ACUTE
+  wl-unicode: "\xFA"
+  wl-unicode-name: LATIN SMALL LETTER U WITH ACUTE
+UDoubleAcute:
+  esc-alias: u''
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u0171"
+  unicode-equivalent-name: LATIN SMALL LETTER U WITH DOUBLE ACUTE
+  wl-unicode: "\u0171"
+  wl-unicode-name: LATIN SMALL LETTER U WITH DOUBLE ACUTE
+UDoubleDot:
+  esc-alias: u"
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xFC"
+  unicode-equivalent-name: LATIN SMALL LETTER U WITH DIAERESIS
+  wl-unicode: "\xFC"
+  wl-unicode-name: LATIN SMALL LETTER U WITH DIAERESIS
+UGrave:
+  esc-alias: u`
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xF9"
+  unicode-equivalent-name: LATIN SMALL LETTER U WITH GRAVE
+  wl-unicode: "\xF9"
+  wl-unicode-name: LATIN SMALL LETTER U WITH GRAVE
+UHat:
+  esc-alias: u^
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xFB"
+  unicode-equivalent-name: LATIN SMALL LETTER U WITH CIRCUMFLEX
+  wl-unicode: "\xFB"
+  wl-unicode-name: LATIN SMALL LETTER U WITH CIRCUMFLEX
+URing:
+  esc-alias: uo
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u016F"
+  unicode-equivalent-name: LATIN SMALL LETTER U WITH RING ABOVE
+  wl-unicode: "\u016F"
+  wl-unicode-name: LATIN SMALL LETTER U WITH RING ABOVE
+UnderBrace:
+  esc-alias: u{
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\uFE38"
+  unicode-equivalent-name: PRESENTATION FORM FOR VERTICAL RIGHT CURLY BRACKET
+  wl-unicode: "\uFE38"
+  wl-unicode-name: PRESENTATION FORM FOR VERTICAL RIGHT CURLY BRACKET
+UnderBracket:
+  esc-alias: u[
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u23B5"
+  unicode-equivalent-name: BOTTOM SQUARE BRACKET
+  wl-unicode: "\u23B5"
+  wl-unicode-name: BOTTOM SQUARE BRACKET
+UnderParenthesis:
+  esc-alias: u(
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\uFE36"
+  unicode-equivalent-name: PRESENTATION FORM FOR VERTICAL RIGHT PARENTHESIS
+  wl-unicode: "\uFE36"
+  wl-unicode-name: PRESENTATION FORM FOR VERTICAL RIGHT PARENTHESIS
+UndirectedEdge:
+  ascii: "<->"
+  esc-alias: ue
+  has-unicode-inverse: true
+  is-letter-like: false
+  operator-name: UndirectedEdge
+  unicode-equivalent: "\u2194"
+  unicode-equivalent-name: LEFT RIGHT ARROW
+  wl-unicode: "\uF3D4"
+UnSameQ:
+  ascii: "=!="
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: UnSameQ
+Union:
+  esc-alias: un
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Union
+  unicode-equivalent: "\u22C3"
+  unicode-equivalent-name: N-ARY UNION
+  wl-unicode: "\u22C3"
+  wl-unicode-name: N-ARY UNION
+UnionPlus:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: UnionPlus
+  unicode-equivalent: "\u228E"
+  unicode-equivalent-name: MULTISET UNION
+  wl-unicode: "\u228E"
+  wl-unicode-name: MULTISET UNION
+Unset:
+  ascii: "=."
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Unset
+UpArrow:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: UpArrow
+  unicode-equivalent: "\u2191"
+  unicode-equivalent-name: UPWARDS ARROW
+  wl-unicode: "\u2191"
+  wl-unicode-name: UPWARDS ARROW
+UpArrowBar:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: UpArrowBar
+  unicode-equivalent: "\u2912"
+  unicode-equivalent-name: UPWARDS ARROW TO BAR
+  wl-unicode: "\u2912"
+  wl-unicode-name: UPWARDS ARROW TO BAR
+UpArrowDownArrow:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: UpArrowDownArrow
+  unicode-equivalent: "\u21C5"
+  unicode-equivalent-name: UPWARDS ARROW LEFTWARDS OF DOWNWARDS ARROW
+  wl-unicode: "\u21C5"
+  wl-unicode-name: UPWARDS ARROW LEFTWARDS OF DOWNWARDS ARROW
+UpDownArrow:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: UpDownArrow
+  unicode-equivalent: "\u2195"
+  unicode-equivalent-name: UP DOWN ARROW
+  wl-unicode: "\u2195"
+  wl-unicode-name: UP DOWN ARROW
+UpEquilibrium:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: UpEquilibrium
+  unicode-equivalent: "\u296E"
+  unicode-equivalent-name: UPWARDS HARPOON WITH BARB LEFT BESIDE DOWNWARDS HARPOON
+    WITH BARB RIGHT
+  wl-unicode: "\u296E"
+  wl-unicode-name: UPWARDS HARPOON WITH BARB LEFT BESIDE DOWNWARDS HARPOON WITH BARB
+    RIGHT
+UpPointer:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u25B4"
+  unicode-equivalent-name: BLACK UP-POINTING SMALL TRIANGLE
+  wl-unicode: "\u25B4"
+  wl-unicode-name: BLACK UP-POINTING SMALL TRIANGLE
+UpTee:
+  esc-alias: uT
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: UpTee
+  unicode-equivalent: "\u22A5"
+  unicode-equivalent-name: UP TACK
+  wl-unicode: "\u22A5"
+  wl-unicode-name: UP TACK
+UpTeeArrow:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: UpTeeArrow
+  unicode-equivalent: "\u21A5"
+  unicode-equivalent-name: UPWARDS ARROW FROM BAR
+  wl-unicode: "\u21A5"
+  wl-unicode-name: UPWARDS ARROW FROM BAR
+UpperLeftArrow:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: UpperLeftArrow
+  unicode-equivalent: "\u2196"
+  unicode-equivalent-name: NORTH WEST ARROW
+  wl-unicode: "\u2196"
+  wl-unicode-name: NORTH WEST ARROW
+UpperRightArrow:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: UpperRightArrow
+  unicode-equivalent: "\u2197"
+  unicode-equivalent-name: NORTH EAST ARROW
+  wl-unicode: "\u2197"
+  wl-unicode-name: NORTH EAST ARROW
+Upsilon:
+  esc-alias: u
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03C5"
+  unicode-equivalent-name: GREEK SMALL LETTER UPSILON
+  wl-unicode: "\u03C5"
+  wl-unicode-name: GREEK SMALL LETTER UPSILON
+UpSet:
+  ascii: "^="
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: UpSet
+UpSetDelayed:
+  ascii: "^:="
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: UpSetDelayed
+
+# The rendering of Uranus at https://reference.wolfram.com/language/ref/character/Uranus.html
+# looks more like U+26E2 (Astronomical Symbol for Uranus) than the Standard Unicode equavalent
+# seen at https://www.compart.com/en/unicode/U+2645.
+# As with the Earth, we are going off of the name and the code point rather than the
+# visual representation of the symbol.
+Uranus:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2645"
+  unicode-equivalent-name: URANUS
+  wl-unicode: "\u2645"
+  wl-unicode-name: URANUS
+Vee:
+  esc-alias: v
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Vee
+  unicode-equivalent: "\u22C1"
+  unicode-equivalent-name: N-ARY LOGICAL OR
+  wl-unicode: "\u22C1"
+  wl-unicode-name: N-ARY LOGICAL OR
+Venus:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2640"
+  unicode-equivalent-name: FEMALE SIGN
+  wl-unicode: "\u2640"
+  wl-unicode-name: FEMALE SIGN
+VerticalBar:
+  esc-alias: ' |'
+  has-unicode-inverse: true
+  is-letter-like: false
+  unicode-equivalent: "\u2758"
+  unicode-equivalent-name: VERTICAL BAR
+  wl-unicode: "\uF3D0"
+  wl-unicode-name: LIGHT VERTICAL BAR
+VerticalEllipsis:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u22EE"
+  unicode-equivalent-name: VERTICAL ELLIPSIS
+  wl-unicode: "\u22EE"
+  wl-unicode-name: VERTICAL ELLIPSIS
+VerticalLine:
+  esc-alias: vline
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2502"
+  unicode-equivalent-name: BOX DRAWINGS LIGHT VERTICAL
+  wl-unicode: "\u2502"
+  wl-unicode-name: BOX DRAWINGS LIGHT VERTICAL
+VerticalSeparator:
+  esc-alias: '|'
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF432"
+VerticalTilde:
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: VerticalTilde
+  unicode-equivalent: "\u2240"
+  unicode-equivalent-name: WREATH PRODUCT
+  wl-unicode: "\u2240"
+  wl-unicode-name: WREATH PRODUCT
+VeryThinSpace:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u200A"
+  unicode-equivalent-name: HAIR SPACE
+  wl-unicode: "\u200A"
+  wl-unicode-name: HAIR SPACE
+VirgoSign:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u264D"
+  unicode-equivalent-name: VIRGO
+  wl-unicode: "\u264D"
+  wl-unicode-name: VIRGO
+WarningSign:
+  has-unicode-inverse: false
+  is-letter-like: true
+  wl-unicode: "\uF725"
+WatchIcon:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u231A"
+  unicode-equivalent-name: WATCH
+  wl-unicode: "\u231A"
+  wl-unicode-name: WATCH
+Wedge:
+  esc-alias: ^
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Wedge
+  unicode-equivalent: "\u22C0"
+  unicode-equivalent-name: N-ARY LOGICAL AND
+  wl-unicode: "\u22C0"
+  wl-unicode-name: N-ARY LOGICAL AND
+
+# https://en.wikipedia.org/wiki/Weierstrass%27s_elliptic_functions
+# also confirms this choice as being the right one in both
+# cases.
+WeierstrassP:
+  esc-alias: wp
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2118"
+  unicode-equivalent-name: SCRIPT CAPITAL P
+  wl-unicode: "\u2118"
+  wl-unicode-name: SCRIPT CAPITAL P
+WhiteBishop:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2657"
+  unicode-equivalent-name: WHITE CHESS BISHOP
+  wl-unicode: "\u2657"
+  wl-unicode-name: WHITE CHESS BISHOP
+WhiteKing:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2654"
+  unicode-equivalent-name: WHITE CHESS KING
+  wl-unicode: "\u2654"
+  wl-unicode-name: WHITE CHESS KING
+WhiteKnight:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2658"
+  unicode-equivalent-name: WHITE CHESS KNIGHT
+  wl-unicode: "\u2658"
+  wl-unicode-name: WHITE CHESS KNIGHT
+WhitePawn:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2659"
+  unicode-equivalent-name: WHITE CHESS PAWN
+  wl-unicode: "\u2659"
+  wl-unicode-name: WHITE CHESS PAWN
+WhiteQueen:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2655"
+  unicode-equivalent-name: WHITE CHESS QUEEN
+  wl-unicode: "\u2655"
+  wl-unicode-name: WHITE CHESS QUEEN
+WhiteRook:
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u2656"
+  unicode-equivalent-name: WHITE CHESS ROOK
+  wl-unicode: "\u2656"
+  wl-unicode-name: WHITE CHESS ROOK
+Wolf:
+  esc-alias: wf
+  has-unicode-inverse: false
+  is-letter-like: true
+  wl-unicode: "\uF720"
+WolframLanguageLogo:
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF11E"
+WolframLanguageLogoCircle:
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF11F"
+Xi:
+  esc-alias: x
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03BE"
+  unicode-equivalent-name: GREEK SMALL LETTER XI
+  wl-unicode: "\u03BE"
+  wl-unicode-name: GREEK SMALL LETTER XI
+Xnor:
+  esc-alias: xnor
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF4A2"
+Xor:
+  esc-alias: xor
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: Xor
+  unicode-equivalent: "\u22BB"
+  unicode-equivalent-name: XOR
+  wl-unicode: "\u22BB"
+  wl-unicode-name: XOR
+YAcute:
+  esc-alias: y'
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xFD"
+  unicode-equivalent-name: LATIN SMALL LETTER Y WITH ACUTE
+  wl-unicode: "\xFD"
+  wl-unicode-name: LATIN SMALL LETTER Y WITH ACUTE
+YDoubleDot:
+  esc-alias: y"
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\xFF"
+  unicode-equivalent-name: LATIN SMALL LETTER Y WITH DIAERESIS
+  wl-unicode: "\xFF"
+  wl-unicode-name: LATIN SMALL LETTER Y WITH DIAERESIS
+Yen:
+  has-unicode-inverse: false
+  is-letter-like: true
+  unicode-equivalent: "\xA5"
+  unicode-equivalent-name: YEN SIGN
+  wl-unicode: "\xA5"
+  wl-unicode-name: YEN SIGN
+ZHacek:
+  esc-alias: zv
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u017E"
+  unicode-equivalent-name: LATIN SMALL LETTER Z WITH CARON
+  wl-unicode: "\u017E"
+  wl-unicode-name: LATIN SMALL LETTER Z WITH CARON
+Zeta:
+  esc-alias: z
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "\u03B6"
+  unicode-equivalent-name: GREEK SMALL LETTER ZETA
+  wl-unicode: "\u03B6"
+  wl-unicode-name: GREEK SMALL LETTER ZETA