Questions tagged [custom-notation]
This is for questions about creating and using custom notations including the Notation` package. For help on the use of the built-in operators, see syntax.
This is for questions about creating and using custom notations including the Notation` package. For help on the use of the built-in operators, see syntax.