words in the buffer that start with those letters. @xref{Dynamic
Abbrevs}.
-`Hippie' expansion generalizes abbreviation expansion.
-@xref{Hippie Expand, , `Hippie' Expansion, autotype, Features for
-Automatic Typing}.
+``Hippie'' expansion generalizes abbreviation expansion. @xref{Hippie
+Expand, , ``Hippie'' Expansion, autotype, Features for Automatic
+Typing}.
@menu
* Abbrev Concepts:: Fundamentals of defined abbrevs.