search

mathics / Mathics

This repository is for archival. Please see https://github.com/Mathics3/mathics-core
https://mathics.org
Other
2.08k stars 208 forks source link

Tolerate Unicode DifferentialD #1575

Closed rocky closed 2 years ago

rocky commented 2 years ago

We are in the process of preferring Unicode symbols over custom WL symbols on input (when they are different) since our frontends use standard Unicode when they support Unicode.