Add double bracket and laplace operator (#570)

2023-04-04 15:47:40 +02:00 · 2023-04-04 15:47:40 +02:00 · 8aca3ca3c1
commit 8aca3ca3c1
parent 570c528b3e
1 changed files with 2 additions and 1 deletions
--- 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: '∀',