(self, formula, annotation)
Removes the given annotation for the given formula
Removes the given annotation for the given formula
Removes the given annotation for the given formula
def remove_annotation(self, formula, annotation):
        """Removes the given annotation for the given formula"""
        if formula in self._annotations:
            if annotation in self._annotations[formula]:
                del self._annotations[formula][annotation]
def remove_annotation ( self , formula , annotation ) : if formula in self . _annotations : if annotation in self . _annotations [ formula ] : del self . _annotations [ formula ] [ annotation ]