Fix a typo introduced in #5053 (#5055)

This commit is contained in:
Malo 2024-09-27 17:30:48 +02:00 committed by GitHub
parent 53135a0813
commit 7262ef3c74
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -342,7 +342,7 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! {
emptyset: [ emptyset: [
'∅', '∅',
arrow.r: '', arrow.r: '',
arror.l: '', arrow.l: '',
bar: '', bar: '',
circle: '', circle: '',
rev: '', rev: '',
@ -350,7 +350,7 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! {
nothing: [ nothing: [
'∅', '∅',
arrow.r: '', arrow.r: '',
arror.l: '', arrow.l: '',
bar: '', bar: '',
circle: '', circle: '',
rev: '', rev: '',