Tagged Questions
1
vote
1answer
87 views
How to enter arrows in Notation function?
It is not clear, what symbol is used in Notation function description for arrows? How to enter it in textual mode within Workbench?
Here: ...