Note that the definitions won't look right in the target output format,
because they contain target markup.