diff options
| author | figsoda <figsoda@pm.me> | 2023-06-06 16:37:33 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-06 22:37:33 +0200 |
| commit | e57f143858dbdc4f90784d422e81ca1cc12871d0 (patch) | |
| tree | 8d327c4788037543e28a461f852af42cce83b56d /library/src | |
| parent | 6ea98dd940361ad9232ec86f33b29c6318009c20 (diff) | |
Add sym.xor (#1397)
Diffstat (limited to 'library/src')
| -rw-r--r-- | library/src/symbols/sym.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/library/src/symbols/sym.rs b/library/src/symbols/sym.rs index 30c4a5d9..d24a6033 100644 --- a/library/src/symbols/sym.rs +++ b/library/src/symbols/sym.rs @@ -396,6 +396,7 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! { not: '¬', and: ['∧', big: '⋀', curly: '⋏', dot: '⟑', double: '⩓'], or: ['∨', big: '⋁', curly: '⋎', dot: '⟇', double: '⩔'], + xor: ['⊕', big: '⨁'], models: '⊧', therefore: '∴', because: '∵', |