diff options
| author | Martin Haug <mhaug@live.de> | 2023-04-04 15:47:40 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-04 15:47:40 +0200 |
| commit | 8aca3ca3c1af1ee4fc4ea22c2223aad37f7a83d2 (patch) | |
| tree | c2810c7f69c5657fa77cc780901c00d3c019cedd | |
| parent | 570c528b3e4e41af2bb8ec0cf091e52dd50db13a (diff) | |
Add double bracket and laplace operator (#570)
| -rw-r--r-- | library/src/symbols/sym.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/library/src/symbols/sym.rs b/library/src/symbols/sym.rs index 6e89931d..7a2c3057 100644 --- a/library/src/symbols/sym.rs +++ b/library/src/symbols/sym.rs @@ -36,7 +36,7 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! { // Delimiters. paren: [l: '(', r: ')', t: '⏜', b: '⏝'], brace: [l: '{', r: '}', t: '⏞', b: '⏟'], - bracket: [l: '[', r: ']', t: '⎴', b: '⎵'], + bracket: [l: '[', l.double: '⟦', r: ']', r.double: '⟧', t: '⎴', b: '⎵'], turtle: [l: '〔', r: '〕', t: '⏠', b: '⏡'], bar: [v: '|', v.double: '‖', v.triple: '⦀', v.broken: '¦', v.circle: '⦶', h: '―'], fence: [l: '⧘', l.double: '⧚', r: '⧙', r.double: '⧛', dotted: '⦙'], @@ -376,6 +376,7 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! { union: '⨚', vol: '∰', ], + laplace: '∆', // Logic. forall: '∀', |