From 660a4123d08ba6168dde3ec2bae6ecb3c407bda4 Mon Sep 17 00:00:00 2001
From: Nadir Fejzic <nadirfejzo@gmail.com>
Date: Sun, 24 Dec 2023 20:37:55 +0100
Subject: [PATCH] =?UTF-8?q?feat:=20add=20constructor=20for=20the=20norm=20?=
 =?UTF-8?q?(`=E2=88=A5`)=20operator?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/elements/mo/dict.rs | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/elements/mo/dict.rs b/src/elements/mo/dict.rs
index b3004f7..2cb8680 100644
--- a/src/elements/mo/dict.rs
+++ b/src/elements/mo/dict.rs
@@ -416,6 +416,11 @@ impl Operator {
         Self::from("\u{007C}")
     }
 
+    /// Create a '&#x2225;' operator.
+    pub fn norm() -> Self {
+        Self::from("\u{2225}")
+    }
+
     /// Create a '&#x005E;' operator.
     pub fn hat() -> Self {
         Self::from("\u{005E}")