@@ -1347,6 +1347,9 @@ DifferenceDelta:
13471347 unicode-equivalent-name : INCREMENT
13481348 wl-unicode : " \u2206 "
13491349 wl-unicode-name : INCREMENT
1350+
1351+ # There was been some discussion as to what to use
1352+ # here. The concensus was this.
13501353DifferentialD :
13511354 esc-alias : dd
13521355 has-unicode-inverse : true
@@ -2543,6 +2546,11 @@ FormalA:
25432546 unicode-equivalent : " \u1EA1 "
25442547 unicode-equivalent-name : LATIN SMALL LETTER A WITH DOT BELOW
25452548 wl-unicode : " \uF800 "
2549+
2550+ # There are a number of "formal" letters - letters with a dot
2551+ # underneath - that do not have a single-character Unicode entry. In
2552+ # these cases we use a Unicode combining symbol to render an
2553+ # equivalent.
25462554FormalAlpha :
25472555 esc-alias : .Alpha
25482556 has-unicode-inverse : true
@@ -5135,6 +5143,9 @@ Paragraph:
51355143 unicode-equivalent-name : PILCROW SIGN
51365144 wl-unicode : " \xB6 "
51375145 wl-unicode-name : PILCROW SIGN
5146+
5147+ # https://en.wikipedia.org/wiki/%E2%88%82 seems
5148+ # to agree here.
51385149PartialD :
51395150 esc-alias : pd
51405151 has-unicode-inverse : false
@@ -6919,6 +6930,12 @@ Upsilon:
69196930 unicode-equivalent-name : GREEK SMALL LETTER UPSILON
69206931 wl-unicode : " \u03C5 "
69216932 wl-unicode-name : GREEK SMALL LETTER UPSILON
6933+
6934+ # The rendering of Uranus at https://reference.wolfram.com/language/ref/character/Uranus.html
6935+ # looks more like U+26E2 (Astronomical Symbol for Uranus) than the Standard Unicode equavalent
6936+ # seen at https://www.compart.com/en/unicode/U+2645.
6937+ # As with the Earth, we are going off of the name and the code point rather than the
6938+ # visual representation of the symbo.
69226939Uranus :
69236940 has-unicode-inverse : false
69246941 is-letter-like : false
@@ -7010,6 +7027,10 @@ Wedge:
70107027 unicode-equivalent-name : N-ARY LOGICAL AND
70117028 wl-unicode : " \u22C0 "
70127029 wl-unicode-name : N-ARY LOGICAL AND
7030+
7031+ # https://en.wikipedia.org/wiki/Weierstrass%27s_elliptic_functions
7032+ # also confirms this choice as being the right one in both
7033+ # cases.
70137034WeierstrassP :
70147035 esc-alias : wp
70157036 has-unicode-inverse : false
@@ -7133,4 +7154,3 @@ Zeta:
71337154 unicode-equivalent-name : GREEK SMALL LETTER ZETA
71347155 wl-unicode : " \u03B6 "
71357156 wl-unicode-name : GREEK SMALL LETTER ZETA
7136-
0 commit comments