Skip to content

Commit

Permalink
feat: add constructor for the norm () operator
Browse files Browse the repository at this point in the history
  • Loading branch information
nfejzic committed Dec 24, 2023
1 parent 1b947d7 commit 660a412
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions src/elements/mo/dict.rs
Original file line number Diff line number Diff line change
Expand Up @@ -416,6 +416,11 @@ impl Operator {
Self::from("\u{007C}")
}

/// Create a '∥' operator.
pub fn norm() -> Self {
Self::from("\u{2225}")
}

/// Create a '^' operator.
pub fn hat() -> Self {
Self::from("\u{005E}")
Expand Down

0 comments on commit 660a412

Please sign in to comment.