Notation`
Notation`

ParsedBoxWrapper

ParsedBoxWrapper

is a wrapper that wraps parsed boxes which come from the TagBox expressions that are embedded in Notation, Symbolize, and InfixNotation statements.

Details

See Also

Notation  Symbolize  InfixNotation

Tutorials