Add new variants to parallel symbol (#4834)

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

View File

@ -478,7 +478,18 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! {
wreath: '',
// Geometry.
parallel: ['∥', circle: '', not: ''],
parallel: [
'∥',
struck: '',
circle: '',
eq: '',
equiv: '',
not: '',
slanted.eq: '',
slanted.eq.tilde: '',
slanted.equiv: '',
tilde: '',
],
perp: ['⟂', circle: ''],
// Miscellaneous Technical.