Notation, Symbolize, and InfixNotation
|Notation[boxes ⟺ expr]
|set boxes to be parsed to expr and expr to be formatted as boxes
|Notation[boxes ⟹ expr]
|set boxes to be parsed to expr
|Notation[boxes ⟸ expr]
|set expr to be formatted as boxes
|define a notation notation with the options opts
|remove the notation notation
Notation takes both an external representation and an internal representation as arguments. The Wolfram Language translates any input matching the external representation into the corresponding internal representation and, reciprocally, formats any expression matching the internal representation into the corresponding external representation. In this context, representation means a composite structure made up of boxes representing some "notation".
Notations defined using ⟺ in their definition both parse and format expressions according to the given notation. However, you can restrict the notation to only parsing or only formatting by using ⟹ or ⟸ respectively, instead of ⟺ in your notation statements.
You may at first feel that having underscores on both sides of a Notation statement is somewhat unsettling. However, notational transformations usually work in both directions, therefore having underscores on both sides of a notation statement is natural, and soon becomes intuitive.
|treat boxes as a symbol
|treat boxes as a symbol with the options opts
|remove the treatment of boxes as a symbol
Symbolize is used to treat a class of composite boxes internally as symbols. It is sometimes necessary and desirable to be able to symbolize composite objects; for example, to be able to attach rules to a composite object, it must be treated as a symbol.
You can use symbolized box structures as pattern variables in definitions. This lets you create formulas in a more familiar notation. However, you must use pattern expressions of the form CompositePatternVariable: PatternContent otherwise the Wolfram Language may interpret the pattern expression as CompositePatternVariable * PatternContent.
|treat op as an infix operator representing the function func
|treat op as an infix operator representing the function func with the options opts
|remove the composite infix operator op
InfixNotation is used to treat a composite box structure as an infix operator. InfixNotation requires both a composite box object that will represent the infix operator and a symbol that will be the full form head of the expression. A simple parallel of this duality in the Wolfram Language is that the infix notation + has the full form head Plus.
An advantage of using InfixNotation over that of using Notation to define an infix operator is that InfixNotation parses an expression into a flat internal form without evaluation. Although this is a subtle difference, it is an important one (see ring operations and parsing without evaluation.)
When defining your own notations it is critically important to use the notation templates. The notation templates are contained in the notation palette shown below.
The reason for this restriction is that the templates pasted into a notebook contain essential tag boxes embedded in the correct way. These embedded tag boxes allow Notation , Symbolize, and InfixNotation to properly group and parse the new notation being defined. Further, they allow these functions to get the styling information of the new notation so that the output is formatted with the same spacing, sizes, adjustments, etc. as the input.
Advanced note: you can circumvent using the notation palette by wrapping the corresponding literal box structures in a ParsedBoxWrapper.
In the Wolfram Language, it is possible to create input aliases for any notation or expression you want. The normal interface to these input aliases is rather cumbersome and so the notation package contains the function AddInputAlias to facilitate adding input aliases to the current notebook. Each of the common templates has an alias associated with it for easy entry. For instance, typing Esc notation Esc in an input cell will enter the notation template Notation[ ⟺ ].