\setdeletedmarkup{<definition>}
