如何定义类似运算符

Question

我想定义一个新运算符的形式x /==> y，其中 运算符/==>被视为例如。 Map和 的/@运营商被翻译为MyFunction[x, y]。还有一个重要的方面：我 希望造成运营商在前端表现得像任何两个位 运营商呢，也就是两个字符（一个Divide和 DoubleLongRightArrow）应连接在一起，没有语法 着色应出现，并且在点击 时要一起选择它们，因此必须设置优先级。另外，我宁愿避免使用包装。因此，我想看到这样的事情：

In[11]:= FullForm[x/\[DoubleLongRightArrow]y] 

Out[11]//FullForm= MyFunction[x,y] 

有没有人有一个想法如何实现这一目标？

Answer 1

由于Mr.Wizard的链接，我已经找到了唯一的例子在文档中如何解析新的运营商（在gplus example in Low-Level Input）。根据这个例子，这里是我的版本，为新的运营商PerArrow。请评论/就是了下面的代码：

In[1]:= PerArrow /: MakeBoxes[PerArrow[x_, y_], StandardForm] := 
    RowBox[{MakeBoxes[x, StandardForm], 
    RowBox[{AdjustmentBox["/", BoxMargins -> -.2], 
     AdjustmentBox["\[DoubleLongRightArrow]", BoxMargins -> -.1]}], 
    MakeBoxes[y, StandardForm]}]; 

MakeExpression[ 
    RowBox[{x_, "/", RowBox[{"\[DoubleLongRightArrow]", y_}]}], 
    StandardForm] := 
    MakeExpression[RowBox[{"PerArrow", "[", x, ",", y, "]"}], 
    StandardForm]; 

In[3]:= PerArrow[x, y] 

Out[3]= x /\[DoubleLongRightArrow] y 

In[4]:= x /\[DoubleLongRightArrow]y 

Out[4]= x /\[DoubleLongRightArrow] y 

In[5]:= FullForm[x /\[DoubleLongRightArrow]y] 

Out[5]//FullForm= \!\(\* 
TagBox[ 
StyleBox[ 
RowBox[{"PerArrow", "[", 
RowBox[{"x", ",", "y"}], "]"}], 
ShowSpecialCharacters->False, 
ShowStringCharacters->True, 
NumberMarks->True], 
FullForm]\) 

为了清楚起见，这里是一个截图，以及：

由于操作不完全融合，进一步关注的是：

• 操作员被点击时选择了奇怪（DoubleLongRightArrow与和而不是/）。
• 因此，解析部要求DoubleLongRightArrow是RowBox -ed与ÿ，否则它产生语法错误
• 语法着色（在In[4]和In[5]）
• 它打印怪异如果直接输入（注意大在In[4]和In[5]差距）

现在，我可以用这些活，虽然这将是很好，有一些手段来化解所有的小问题。我想所有这些都归结为基本上更低级别的语法处理程序，现在不会如何对新运算符进行分组。有关如何解决这些问题的任何想法？据我所知，Cell有许多选项可能来得方便（如CellEvaluationFunction,ShowAutoStyles和InputAutoReplacements），虽然我在这里再次无能为力。

Answer 2

Notation Package也许是最接近做这种事情，但根据对my own question of a similar nature的回应，你想要的是不幸的是不实际。

不要让这阻止你尝试，因为你可能会在过程中学到新东西。符号包和支撑它的功能远没有用处。

您也可能会找到对this question信息的回复。

---

有许多功能对手动执行语法更改很有用。我不会尝试为这些写自己的帮助文件，而是引导您访问这些功能的官方页面。阅读完它们之后，请询问您的任何重点问题，或寻求具体建议的帮助。我或其他人应该能够回答你的问题，告诉你如何去做，或者解释为什么不可能。

• Textual Input and Output上的索引页。

• MakeBoxes和MakeExpression和an example of their use。

• PreRead

• 更厉害，一个可能使用CellEvaluationFunction可以用来做unusual things。

还有更多，我会尽量延长这个名单。 （别人欢迎编辑这篇文章）