RemoveNotationRules


is a possible value for the Action option to Notation, Symbolize, and InfixNotation.

DetailsDetails

  • To use , you first need to load the Notation Package using Needs["Notation`"].
  • If Action->RemoveNotationRules, a notation statement will remove the given notation from the system.