what does ▸ (\blacktriangleright) do?

Stream: new members

[Alok Singh]

i found this remarkably hard to lookup

[Julian Berman]

docs#Eq.subst, aka "term mode rewrite"

[Julian Berman]

The hover seems to suggest maybe it isn't precisely Eq.subst (anymore?) -- but notably there does appear to be a hover if you hover over the triangle, and it points to #tpil for further info.

[Kyle Miller]

Here's the last thread on triangle: #new members > ✔ Does the triangle operator have an english name? @ 💬