Skip to content

Conversation

@rocky
Copy link
Member

@rocky rocky commented Jan 29, 2026

"Rule" is not the same thing as "RightArrow". Use a Unicode glyph that matches the Mathematica symbol better. Note that the arrowhead is not a triangle, but two lines.

Fixes #146

"Rule" is not the same things as "RightArrow". Use a unicode glyph that
matches the Mathematica symbol better. Note that the arrowhead is not a
triangle, but two lines.
@rocky rocky requested a review from mmatera January 29, 2026 12:52
Also note that Mathics3 operators can use more than one symbol.
@rocky rocky force-pushed the reassign-Rule-unicode branch from 7924699 to 94ae0ea Compare January 29, 2026 16:04
@mmatera
Copy link
Contributor

mmatera commented Jan 30, 2026

This is what I get when I use it against mathics CLI:

In[1]:= A->B
Out[1]= A ᾆ2 B

In[2]:= A->B //InputForm
Out[2]//InputForm= A ᾆ2 B

In[3]:= A ᾆ2 B
Syntax::sntxf: "A" cannot be followed by "ᾆ2 B" (line 1 of "ᾆ2 B").

Not only the symbol is wrong, but also it is not properly processed by the parser.

@rocky
Copy link
Member Author

rocky commented Jan 30, 2026

This is what I get when I use it against mathics CLI:

In[1]:= A->B Out[1]= A ᾆ2 B

In[2]:= A->B //InputForm Out[2]//InputForm= A ᾆ2 B

In[3]:= A ᾆ2 B Syntax::sntxf: "A" cannot be followed by "ᾆ2 B" (line 1 of "ᾆ2 B").

Not only the symbol is wrong, but also it is not properly processed by the parser.

What's going on is that this is coming from a different Unicode block. So I guess we change the value to something else.

Not being properly parsed by the parser is a separate and valid problem that will be addressed.

Also make sure to parse this unicode symbol as Rule.
@rocky rocky changed the title Reassign Rule Unicode.. Reassign Unicode for \[Rule] Jan 30, 2026
@rocky rocky force-pushed the reassign-Rule-unicode branch from 638b042 to ef72409 Compare January 30, 2026 22:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

\[Rule] \[DirectedEdge] and \[RightArrow] should not use the same unicode character

3 participants