Skip to content

Commit

Permalink
Merge branch 'master' into box-expr-parsing
Browse files Browse the repository at this point in the history
  • Loading branch information
mmatera authored Nov 24, 2024
2 parents 56f7c73 + 15202e0 commit 5922fc9
Show file tree
Hide file tree
Showing 8 changed files with 1,244 additions and 1,055 deletions.
805 changes: 402 additions & 403 deletions mathics_scanner/data/OperatorTable.csv

Large diffs are not rendered by default.

12 changes: 12 additions & 0 deletions mathics_scanner/data/named-characters.yml
Original file line number Diff line number Diff line change
Expand Up @@ -2120,6 +2120,7 @@ DirectedEdge:
esc-alias: de
has-unicode-inverse: false
is-letter-like: false
operator-name: DirectedEdge
unicode-equivalent: "\u2192"
unicode-equivalent-name: RIGHTWARDS ARROW
unicode-reference: https://www.compart.com/en/unicode/U+2192
Expand Down Expand Up @@ -3636,6 +3637,17 @@ Exists:
wl-unicode: "\u2203"
wl-unicode-name: THERE EXISTS

# ExpectationE:
# # amslatex: "\\ExpectationE"
# # esc-alias: ee
# # has-unicode-inverse: true
# # is-letter-like: true
# # unicode-equivalent: "\u2147"
# # unicode-equivalent-name: DOUBLE-STRUCK ITALIC SMALL E
# # unicode-reference: https://www.compart.com/en/unicode/U+2147
# wl-reference: https://reference.wolfram.com/language/ref/character/ExpectationE.html
# wl-unicode: "\uF2D3"

ExponentialE:
amslatex: "\\ExponentialE"
esc-alias: ee
Expand Down
6 changes: 3 additions & 3 deletions mathics_scanner/data/operators-intro.yml
Original file line number Diff line number Diff line change
Expand Up @@ -54,7 +54,7 @@
# WolframLanguageData: a "PrecedenceRanks" value returned using:
# WolframLanguageData[*operator_name*, "PrecedenceRanks"]
# Example:
# In[1] := WolframLanguageData[AddTo, "PrecedenceRanks"]
# In[1] := WolframLanguageData["AddTo", "PrecedenceRanks"]
# Out[1]= {{expr1 +=expr2 , AddTo[expr1 ,expr2]} -> 73
#
# Note that 73 uses a diffrent precedence scheme than the one
Expand All @@ -63,9 +63,9 @@
# Also Note that WolframLanguageData can also be used to give the
# ASCII and unicode character representations:

# In[2] := WolframLanguageData[AddTo, "ShortNotations"]
# In[2] := WolframLanguageData["AddTo", "ShortNotations"]
# Out[2]= {+=}
# In[2] := WolframLanguageData[GreaterEqual, "ShortNotations"]
# In[2] := WolframLanguageData["GreaterEqual", "ShortNotations"]
# Out[7]= {>=, ≥}
#
# usage: when it exists, an example of the use of this operator
Expand Down
Loading

0 comments on commit 5922fc9

Please sign in to comment.