Options and Auxiliary Functions
have several options that modify their behavior. These notation functions all take the options WorkingForm
. In addition the Notation
package has a local option AutoLoadNotationPalette
which affects the loading of the palette. Finally, the Notation
package has a function which clears all notations, symbolizations, and infix notations defined so far.
The option Action
The Action option and its possible values.
determines what a notation statement does with the rules it generates. The default value of the Action
option is CreateNotationRules
, which causes the generated notation rules to be entered into the system.
This creates a notation for pure functions more in keeping with that of traditional mathematics.
Pure functions now use this new notation.
If the Action
option is set to RemoveNotationRules
, then the notation rules are removed from the system. Using the option value RemoveNotationRules
in a notation statement is equivalent to using the appropriate RemoveNotation
This removes the above notation from the system.
Now the special notation for functions is no longer defined.
By setting the option Action
, you can view the rules generated by a notation statement. Examining the MakeExpression
rules is often useful to give you an idea of the underlying box structures that are used in your notation statement.
The option WorkingForm
The WorkingForm option and some of its possible values.
The option WorkingForm
specifies the form
statement is generated in. The typical values of WorkingForm
; any notations created would only apply in StandardForm
(respectively). However, WorkingForm
can be set to any form you define, for instance LogicForm
When the option WorkingForm
is set to Automatic
statement will be created in the ambient default input and output forms. These default forms can be set through the option inspector and they govern what the default input form and the default output form will be. You can see the current settings of these options in your notebook by evaluating Options[InputNotebook, CommonDefaultFormatTypes]
These notations behave as expected.
The option AutoLoadNotationPalette
|AutoLoadNotationPalette||True, undefined||the notation palette will be loaded when the Notation package loads|
|False||the notation palette will not be loaded when the Notation package loads|
The option AutoLoadNotationPalette and its behavior.
If you are designing a package you may want to hide the notation palette
when the user loads the Notation
package so as not to confuse them. You can set the boolean variable AutoLoadNotationPalette
inside your package to achieve this. If AutoLoadNotationPalette
has been set to False
then the notation palette will not be loaded when the Notation
package is loaded. If the value is undefined or True
, the notation palette will be loaded when the Notation
package loads. In input form the statement would look like the following.
Statement forcing the notation palette not to load when the Notation
The function ClearNotations
Syntax of ClearNotations.
If you would like to re-enter a set of notations or would like to make a "clean start" you can use the ClearNotations
command to erase all notations, symbolizations and infix notations present in the system. Using ClearNotations
should not affect other packages or definitions you have made to MakeExpression
Wipe all notations, symbolizations and infix notations.