\sethighlightmarkup{<definition>}
