Add more emptyset/nothing symbol variants (#4826)

This commit is contained in:
Malo 2024-08-26 18:39:10 +02:00 committed by GitHub
parent c57593c94c
commit 307b8a5c72
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -332,8 +332,22 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! {
image: '', image: '',
// Set theory. // Set theory.
emptyset: ['∅', rev: ''], emptyset: [
nothing: ['∅', rev: ''], '∅',
bar: '',
circle: '',
larrow: '',
rarrow: '',
rev: '',
],
nothing: [
'∅',
bar: '',
circle: '',
larrow: '',
rarrow: '',
rev: '',
],
without: '', without: '',
complement: '', complement: '',
in: [ in: [