Use bold rather than italic for dfn tags.