% A shortcut for italicized e.g. and i.e.
-% TODO: Prevent this macro from globbing the following space
-\define[0]\eg{{\em e.g.}}
-\define[0]\ie{{\em i.e.}}
+\define[0]\eg{{\em e.g.}\autoinsertnextspace}
+\define[0]\ie{{\em i.e.}\autoinsertnextspace}
% Define a new reference to a definition of the term. The text of the
\define[1]\refdef{\inothermargin{\goto{\ref[t][def:#1] p.\ref[p][def:#1]}[def:#1]}}
% Shortcuts to write in smallcaps
-\define[0]\VHDL{\small{VHDL}}
-\define[0]\GHC{\small{GHC}}
+\def\VHDL{\small{VHDL}\autoinsertnextspace}
+\def\GHC{\small{GHC}\autoinsertnextspace}