diff options
| author | Laurenz <laurmaedje@gmail.com> | 2023-02-02 14:13:56 +0100 |
|---|---|---|
| committer | Laurenz <laurmaedje@gmail.com> | 2023-02-02 14:13:56 +0100 |
| commit | 5f5c65927982447133b625edea3f5c9bab4f9e3d (patch) | |
| tree | aa5edb320e21466d16a1d15ad320d164f94738db /src/syntax/ast.rs | |
| parent | 21dd99926a24d7cc69bf6b032d1107c78a04a5cf (diff) | |
Math tests
Diffstat (limited to 'src/syntax/ast.rs')
| -rw-r--r-- | src/syntax/ast.rs | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/syntax/ast.rs b/src/syntax/ast.rs index 1cc29b04..e844f622 100644 --- a/src/syntax/ast.rs +++ b/src/syntax/ast.rs @@ -426,11 +426,14 @@ node! { impl Shorthand { /// A list of all shorthands. pub const LIST: &[(&'static str, char)] = &[ + // Text only. ("~", '\u{00A0}'), ("--", '\u{2013}'), ("---", '\u{2014}'), ("-?", '\u{00AD}'), - ("...", '…'), + // Math only. + ("-", '\u{2212}'), + ("'", '′'), ("*", '∗'), ("!=", '≠'), ("<<", '≪'), @@ -450,6 +453,8 @@ impl Shorthand { ("[|", '⟦'), ("|]", '⟧'), ("||", '‖'), + // Both. + ("...", '…'), ]; /// Get the shorthanded character. |