|
51 | 51 | # control-sequence is both allowed in text-mode and math-mode, |
52 | 52 | # then the same control sequence also appears in amslatex. |
53 | 53 | # |
54 | | -# operator-name: If present, this symbol is a Mathics3 operator with |
55 | | -# whose class name is the given name. For example, the |
56 | | -# Divide operator, "/" is here. But some symbols like |
57 | | -# "`" or "." inside a number could be considered |
58 | | -# either an operator or as part of a lexical symbol. |
59 | | -# "operators.yml" may contain use of these symbols, while here we |
60 | | -# might not (or we might). Also, from an operator |
| 54 | +# operator-name: If present, this symbol is a is part of some |
| 55 | +# Mathics3 operator with whose class name is the |
| 56 | +# given name. For example, the Divide operator, "/" |
| 57 | +# is here. But some symbols like "`" or "." inside a |
| 58 | +# number could be considered either an operator or as |
| 59 | +# part of a lexical symbol. "operators.yml" may |
| 60 | +# contain use of these symbols, while here we might |
| 61 | +# not (or we might). Also, from an operator |
61 | 62 | # perspective, an operator name like "Association" |
62 | 63 | # might have *two* (bracketing) symbols associated |
63 | 64 | # here: "LeftAssociation" and "RightAssociation". |
64 | | -# More operator information can be found in |
65 | | -# file "operators.yml". |
| 65 | +# More operator information can be found in file |
| 66 | +# "operators.yml". Note that some operators like |
| 67 | +# Integrate, have several symbols, e.g. Integral and |
| 68 | +# DifferentialD used in the operator. |
66 | 69 | # |
67 | 70 | # |
| 71 | +# unicode-block: when given, the unicode block, or named ranges of code points. |
| 72 | +## |
68 | 73 | # unicode-equivalent: A unicode equivalent for the named-character, if it |
69 | 74 | # exists. If it is the same as "ascii", please omit. |
70 | 75 | # |
@@ -8867,9 +8872,8 @@ Rule: |
8867 | 8872 | is-letter-like: false |
8868 | 8873 | operator-name: Rule |
8869 | 8874 | unicode-equivalent: "\u1F862" |
8870 | | - ## It seems there are two names for this. The one used, is the one that our test checker finds. |
8871 | | - # unicode-equivalent-name: WIDE-HEADED RIGHTWARDS LIGHT BARB ARROW |
8872 | | - unicode-equivalent-name: GREEK SMALL LETTER ALPHA WITH PSILI AND PERISPOMENI AND YPOGEGRAMMENI + DIGIT TWO |
| 8875 | + unicode-equivalent-name: WIDE-HEADED RIGHTWARDS LIGHT BARB ARROW |
| 8876 | + unicode-block: Arrows |
8873 | 8877 | unicode-reference: https://www.compart.com/en/unicode/U+1F862 |
8874 | 8878 | wl-reference: https://reference.wolfram.com/language/ref/character/Rule.html |
8875 | 8879 | wl-unicode: "\uF522" |
|
0 commit comments