Add shorthands for symbols U+22B6 (Original Of) and U+22B7 (Image Of) (#4083)

This commit is contained in:
Anton Gusev 2024-05-07 16:22:09 +03:00 committed by GitHub
parent 01b791da83
commit c0576c6b55
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -331,6 +331,8 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! {
], ],
equiv: ['≡', not: ''], equiv: ['≡', not: ''],
prop: '', prop: '',
original: '',
image: '',
// Set theory. // Set theory.
emptyset: ['∅', rev: ''], emptyset: ['∅', rev: ''],