如何定义类似/@的运算符

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 可能是最接近做这种事情的，但根据我自己的类似性质的问题的回复，你想要的是不幸的是不实用。

但是，不要让这阻止您尝试，因为您可能会在此过程中学到新东西。符号包和支撑它的函数绝非无用。

您还可能会发现此问题的回复内容丰富。

---

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

• 文本输入和输出上的索引页。

• MakeBoxes 和 MakeExpression 和 其使用示例。

• 预读

• 更彻底的是，一个可能会使用 CellEvaluationFunction 可以用来执行以下操作不寻常的事情。

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

Answer 2

感谢 Mr.Wizard 的链接，我在文档中找到了关于如何解析新运算符的唯一示例（低级输入中的 gplus 示例）。根据这个例子，这是我的新运算符 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] 处的大间隙])

现在，我可以忍受这些，不过如果能有一些方法来解决所有的小问题就好了。我想所有这些基本上都归结为一些更低级别的语法处理程序，它现在不知道如何对新运算符进行分组。关于如何解决这些问题有什么想法吗？据我所知，Cell 有很多可能会派上用场的选项（例如 CellEvaluationFunction、ShowAutoStyles 和 InputAutoReplacements）我又在这里一无所知了。