替换符号/.之后的箭头

level 5

流年旅行楼主

我今天偶然一试，发现在替换/.之后的箭头，不管是->还是rule，都能完成替换了。比如：h/.h->6 和 h/.h esc->esc 6，都可以把h替换成6。我记得当初在11.3版本不能这样？
问一下有哪些地方只能用rule不能用右箭头？

2022年02月17日 13点02分 1

level 5

流年旅行楼主

有没有版本号是 11 的
hxd
来看一眼Replace的规则呀？是不是只能用Rule？

2022年02月17日 13点02分 2

吧务

level 10

->和\[Rule]两者都应该一直可用的

2022年02月17日 14点02分 3

谢谢！其实我都一直没有区分两者的，然后也没有出过问题。然后不知怎的今天就想起来这个了。。。

2022年02月17日 14点02分

level 7

你是不是把其中一个和\[RightArrow]搞混了

2022年02月18日 13点02分 4

level 6

esc->esc 是->的自然语言输入

2022年02月23日 08点02分 5