From 8aca3ca3c1af1ee4fc4ea22c2223aad37f7a83d2 Mon Sep 17 00:00:00 2001
From: Martin Haug <mhaug@live.de>
Date: Tue, 4 Apr 2023 15:47:40 +0200
Subject: [PATCH] Add double bracket and laplace operator (#570)

---
 library/src/symbols/sym.rs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/library/src/symbols/sym.rs b/library/src/symbols/sym.rs
index 6e89931d1..7a2c30570 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: '∀',