Add some integral symbols (#2413)

This commit is contained in:
Oscar 2023-10-17 11:22:13 +02:00 committed by GitHub
parent 9800b9ff30
commit 5f1ea5c48c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -403,9 +403,12 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! {
cont.ccw: '',
cont.cw: '',
cw: '',
dash: '',
dash.double: '',
double: '',
quad: '',
sect: '',
slash: '',
square: '',
surf: '',
times: '',