Use dedicated fonts for better support of mathematical symbols (#1919)

This commit is contained in:
Johannes Marbach 2024-08-19 14:11:05 +02:00 committed by GitHub
parent dc017c2dd3
commit 215982abc2
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 12 additions and 9 deletions

View file

@ -0,0 +1 @@
Use dedicated fonts for better support of mathematical symbols.