diff --git a/src/texinfo.xsl b/src/texinfo.xsl
index 9c3fe5d..88af54e 100644
--- a/src/texinfo.xsl
+++ b/src/texinfo.xsl
@@ -143,6 +143,8 @@
                       $xt:nl,
                       $doc,
                       $xt:nl,
+                      '@emph{Definition:}',
+                      $xt:nl,
                       '@verbatim',
                       $xt:nl,
                       xt:serialize( . ),