Add forces and forces.not (#3530)

Co-authored-by: la .uetcis <uetcis@pm.me>
This commit is contained in:
la .uetcis 2024-02-29 05:50:56 -08:00 committed by GitHub
parent 5a03c818c8
commit 57ab6d0924
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -439,6 +439,7 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! {
or: ['', big: '', curly: '', dot: '', double: ''],
xor: ['⊕', big: ''],
models: '',
forces: ['⊩', not: ''],
therefore: '',
because: '',
qed: '',