\sethighlightmarkup{<definition>}