Skip to content

Commit

Permalink
add more "NOT" sign information
Browse files Browse the repository at this point in the history
Also, add forgotten "$" at the end of amslatex "Or".
  • Loading branch information
rocky committed Dec 30, 2024
1 parent 67780ae commit ad9539e
Showing 1 changed file with 4 additions and 2 deletions.
6 changes: 4 additions & 2 deletions mathics_scanner/data/named-characters.yml
Original file line number Diff line number Diff line change
Expand Up @@ -6933,8 +6933,10 @@ Not:
esc-alias: '!'
has-unicode-inverse: false
is-letter-like: false
unicode-equivalent: "\u00AC"
operator-name: Not
unicode-equivalent-name: NOT SIGN
unicode-equivalent: "\u00AC"
unicode-reference: https://www.compart.com/en/unicode/U+00AC
wl-reference: https://reference.wolfram.com/language/ref/character/Not.html
wl-unicode: "\00AC"
wl-unicode-name: NOT SIGN
Expand Down Expand Up @@ -7641,7 +7643,7 @@ OptionKey:
wl-unicode: "\uF7D2"

Or:
amslatex: "$\\vert" # Also $\\lor$
amslatex: "$\\vert$" # Also $\\lor$
ascii: "||"
esc-alias: '||'
has-unicode-inverse: false
Expand Down

0 comments on commit ad9539e

Please sign in to comment.