Unicode aliases are implemented. On output, a function, operator, or variable with a Unicode alias will be displayed via the alias. There is a user-level flag which can be flipped to disable this behavior, though the Unicode aliasing is enabled by default. On input, the relevant Unicode names are supported, and an expression simplifier runs very early in the simplification process to normalize them to the canonical ASCII names.
Currently, we have the following aliases:
∞ for inf.
⧝ for uinf (in theory, I wanted "infinity with a tilde over it", to match Wolfram, but that doesn't seem to exist as a Unicode character).
≤, ≥, and ≠ for, respectively, <=, >=, and !=.
There are no non-operator functions that have Unicode aliases at this time.
This MR closes issue #111.
Unicode aliases are implemented. On output, a function, operator, or variable with a Unicode alias will be displayed via the alias. There is a user-level flag which can be flipped to disable this behavior, though the Unicode aliasing is enabled by default. On input, the relevant Unicode names are supported, and an expression simplifier runs very early in the simplification process to normalize them to the canonical ASCII names.
Currently, we have the following aliases:
∞forinf.⧝foruinf(in theory, I wanted "infinity with a tilde over it", to match Wolfram, but that doesn't seem to exist as a Unicode character).≤,≥, and≠for, respectively,<=,>=, and!=.There are no non-operator functions that have Unicode aliases at this time.