Add tilde.dot (#3468)

This commit is contained in:
Evan Finken 2024-02-22 02:47:45 -06:00 committed by GitHub
parent 20a8ea1a94
commit 4eab6deed6
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -119,6 +119,7 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! {
tilde: [ tilde: [
op: '', op: '',
basic: '~', basic: '~',
dot: '',
eq: '', eq: '',
eq.not: '', eq.not: '',
eq.rev: '', eq.rev: '',