\setdeletedmarkup{<definition>}