initiates a dialog for every expression used in the evaluation of expr.
initiates a dialog only for expressions which match form.
initiates dialogs only for expressions whose evaluations use transformation rules associated with the symbol s.
Basic Examples (1)
Trace evaluation of an expression, entering a Dialog whenever addition is encountered: