如何定义 /@-like 运算符

Question

我想定义一个x /==> y 形式的新运算符，其中 运算符/==> 被视为例如Map 的 /@ 运算符，以及 被翻译成MyFunction[x, y]。有一个重要方面：我 希望得到的运算符在前端表现得像任何两位 操作符，即两个字符（Divide 和 DoubleLongRightArrow) 应该连在一起，没有语法 应该出现着色，并且当它们被一起选择时 点击，所以必须设置优先级。另外，我宁愿避免使用 Notation` 包。因此，我希望看到这样的内容：

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

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

有人知道如何实现这一目标吗？

Answer 1

Notation Package 可能是最接近做这种事情的，但根据my own question of a similar nature 的回复，很遗憾，你想要的并不实用。

但是，不要让这阻止您尝试，因为您可能会在此过程中学到新东西。 Notation 包和支持它的功能远非无用。

您还可以找到对this question 的回复信息。

---

有许多函数可用于手动执行语法更改。我不会尝试为这些功能编写自己的帮助文件，而是将您引导至有关这些功能的官方页面。阅读它们后，请提出您有的任何重点问题，或寻求实施具体想法的帮助。我或这里的其他人应该能够回答您的问题，向您展示如何做某事，或者解释为什么这不可能。

• Textual Input and Output上的索引页。

• MakeBoxes、MakeExpression、an example of their use。

• PreRead

• 更彻底地，可以使用CellEvaluationFunction，它可以用来做unusual things。

还有更多，我稍后会尝试扩展此列表。 （欢迎其他人编辑这篇文章）

Answer 2

感谢 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 使用 y 而不是 /）。
• 因此，解析部分要求DoubleLongRightArrow 为RowBox-ed y，否则会产生语法错误
• 语法着色（In[4] 和 In[5]）
• 如果直接输入，打印出来的效果很奇怪（注意In[4] 和In[5] 处的大间隙）

现在，我可以忍受这些，但如果能有办法解决所有小问题，那就太好了。我想所有这些基本上都归结为一些甚至更低级别的语法处理程序，它现在不知道如何对 new 运算符进行分组。关于如何解决这些问题的任何想法？我知道Cell 有许多可能派上用场的选项（例如CellEvaluationFunction、ShowAutoStyles 和InputAutoReplacements），尽管我在这里又一无所知。