Reassign Unicode for \[Rule] and \[DirectedEdge]
#139
| Job | Run time |
|---|---|
| 1m 58s | |
| 1m 58s |
\[Rule] and \[DirectedEdge]
#139
| Job | Run time |
|---|---|
| 1m 58s | |
| 1m 58s |