git: 9a3be68336d8 - main - math/py-mathics-scanner: upgrade to 1.3.0

Go to: [ bottom of page ] [ top of archives ] [ this month ]
From: Thierry Thomas <thierry_at_FreeBSD.org>
Date: Fri, 17 Mar 2023 18:31:28 UTC
The branch main has been updated by thierry:

URL: https://cgit.FreeBSD.org/ports/commit/?id=9a3be68336d8bb9969464cf52aab322123332007

commit 9a3be68336d8bb9969464cf52aab322123332007
Author:     Thierry Thomas <thierry@FreeBSD.org>
AuthorDate: 2023-03-15 13:30:22 +0000
Commit:     Thierry Thomas <thierry@FreeBSD.org>
CommitDate: 2023-03-17 18:31:23 +0000

    math/py-mathics-scanner: upgrade to 1.3.0
    
    Release notes at
            <https://github.com/Mathics3/mathics-scanner/releases/tag/1.3.0>.
---
 math/py-mathics-scanner/Makefile                   |    4 +-
 math/py-mathics-scanner/distinfo                   |    6 +-
 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"
*** 6807 LINES SKIPPED ***