Add Unicode directed and undirected edges

rocky · rocky · commit b2d744187e7e · 2020-12-07T09:17:37.000-05:00
diff --git a/mathicsscript/inputrc b/mathicsscript/inputrc
@@ -70,6 +70,8 @@
 "\einf\e": "∞"
 "\edeg\e": "°"
 "\e&&\e": "∧"
+"\eue\e": "↔"
+"\ede\e": "→"
 
 # Things we have don't have Unicode symbols in terminal.
 # So we use the Mathics name
