More math shorthands

1 files changed, 22 insertions, 6 deletions

diff --git a/src/syntax/ast.rs b/src/syntax/ast.rs
index 9b76d292..73aa41e1 100644
--- a/src/syntax/ast.rs
+++ b/src/syntax/ast.rs
@@ -427,6 +427,8 @@ node! {
 impl Shorthand {
     /// A list of all shorthands.
     pub const LIST: &[(&'static str, char)] = &[
+        // Both.
+        ("...", '…'),
         // Text only.
         ("~", '\u{00A0}'),
         ("--", '\u{2013}'),
@@ -437,25 +439,39 @@ impl Shorthand {
         ("'", '′'),
         ("*", '∗'),
         ("!=", '≠'),
+        (":=", '≔'),
+        ("::=", '⩴'),
+        ("=:", '≕'),
         ("<<", '≪'),
         ("<<<", '⋘'),
         (">>", '≫'),
         (">>>", '⋙'),
         ("<=", '≤'),
         (">=", '≥'),
-        ("<-", '←'),
         ("->", '→'),
-        ("=>", '⇒'),
+        ("-->", '⟶'),
         ("|->", '↦'),
-        ("|=>", '⤇'),
+        (">->", '↣'),
+        ("->>", '↠'),
+        ("<-", '←'),
+        ("<--", '⟵'),
+        ("<-<", '↢'),
+        ("<<-", '↞'),
         ("<->", '↔'),
+        ("<-->", '⟷'),
+        ("~>", '⇝'),
+        ("~~>", '⟿'),
+        ("<~", '⇜'),
+        ("<~~", '⬳'),
+        ("=>", '⇒'),
+        ("|=>", '⤇'),
+        ("==>", '⟹'),
+        ("<==", '⟸'),
         ("<=>", '⇔'),
-        (":=", '≔'),
+        ("<==>", '⟺'),
         ("[|", '⟦'),
         ("|]", '⟧'),
         ("||", '‖'),
-        // Both.
-        ("...", '…'),
     ];
 
     /// Get the shorthanded character.