I'm setting up a package that defines a custom Notation.
I'd like to inquire about best practices and possible issues of:
- using the Notation Package
- using
$Preand$PreRead - overloading
MakeExpression
|
I'm setting up a package that defines a custom Notation. I'd like to inquire about best practices and possible issues of:
|
|||||||||||||||||||||
|