freebsd-ports/math/py-mathics-scanner/files/named-characters.yml

# 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