HTML <dfn> tag

The \<dfn> element is used to indicate the defining instance of a new term.