Deleting Quantifiers

Sometimes one may wish to reduce the amount of available quantifiers. To completely remove a quantifier from memory choose the menu option Delete quantifier from the Edit menu. This will display a dialog where you may choose the Quantifier to be deleted or cancel.

Deleting Quantifiers

When you delete a Quantifier all instances of that Quantifier with different parameter values will also be removed from the list of selected Quantifiers.