diff options
Diffstat (limited to 'math/py-mathics-scanner')
| -rw-r--r-- | math/py-mathics-scanner/Makefile | 4 | ||||
| -rw-r--r-- | math/py-mathics-scanner/distinfo | 6 | ||||
| -rw-r--r-- | math/py-mathics-scanner/files/named-characters.yml | 7737 |
3 files changed, 5 insertions, 7742 deletions
diff --git a/math/py-mathics-scanner/Makefile b/math/py-mathics-scanner/Makefile index e528e09095e7..078fc90535a3 100644 --- a/math/py-mathics-scanner/Makefile +++ b/math/py-mathics-scanner/Makefile @@ -1,5 +1,5 @@ PORTNAME= Mathics_Scanner -PORTVERSION= 1.2.4 +PORTVERSION= 1.3.0 CATEGORIES= math python MASTER_SITES= PYPI PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} @@ -33,7 +33,7 @@ TEST_TARGET= check TEST_ENV= ${MAKE_ENV} pre-configure: - ${CP} ${FILESDIR}/named-characters.yml ${WRKSRC}/mathics_scanner/data/ + ${RM} ${WRKSRC}/mathics_scanner/data/characters.json do-test: install (cd ${TEST_WRKSRC} && \ diff --git a/math/py-mathics-scanner/distinfo b/math/py-mathics-scanner/distinfo index 088c11bfa803..dd1e8b722fd5 100644 --- a/math/py-mathics-scanner/distinfo +++ b/math/py-mathics-scanner/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1645355793 -SHA256 (Mathics_Scanner-1.2.4.tar.gz) = 7b05939751aacea42f3fc4e7eb1ab111f9fe32bae827e89f46a50e04907b19ef -SIZE (Mathics_Scanner-1.2.4.tar.gz) = 113724 +TIMESTAMP = 1678886730 +SHA256 (Mathics_Scanner-1.3.0.tar.gz) = 39751a2d28d40c88538cc03aa72a113dcae59fc49e8e7727f30219a6cc9ef997 +SIZE (Mathics_Scanner-1.3.0.tar.gz) = 125861 diff --git a/math/py-mathics-scanner/files/named-characters.yml b/math/py-mathics-scanner/files/named-characters.yml deleted file mode 100644 index 35bce54066d6..000000000000 --- a/math/py-mathics-scanner/files/named-characters.yml +++ /dev/null @@ -1,7737 +0,0 @@ -# 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 |