Implement symbol Proposal 21 (iteration 1) (#5053)

This commit is contained in:
Malo 2024-09-27 15:10:34 +02:00 committed by GitHub
parent 2a1fbd4101
commit 53135a0813
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -341,18 +341,18 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! {
// Set theory.
emptyset: [
'∅',
arrow.r: '',
arror.l: '',
bar: '',
circle: '',
larrow: '',
rarrow: '',
rev: '',
],
nothing: [
'∅',
arrow.r: '',
arror.l: '',
bar: '',
circle: '',
larrow: '',
rarrow: '',
rev: '',
],
without: '',