% This file defines some useful shortcut commands
%
-\def\autoinsertnextspace{}
-
% A shortcut for italicized e.g. and i.e.
-\define[0]\eg{{\em e.g.}\autoinsertnextspace}
-\define[0]\ie{{\em i.e.}\autoinsertnextspace}
+\define[0]\eg{{\em e.g.}}
+\define[0]\ie{{\em i.e.}}
% Define a new reference to a definition of the term. The text of the
\define[2]\defreftxt{\reference[def:#1]{#2}}
% Reference a defined reference (using \defref). Will put the reference text
-% and a page number in the margin. We use \inothermargin, since it is slightly
+% and a page number in the margin. We use \inmargin, since it is slightly
% bigger.
% This automatically prefixes the reference name with def:
-\define[1]\refdef{\inothermargin{\goto{\ref[t][def:#1] p.\ref[p][def:#1]}[def:#1]}}
+\define[1]\refdef{\inmargin{\goto{\ref[t][def:#1] p.\ref[p][def:#1]}[def:#1]}}
% Shortcuts to write in smallcaps
-\def\VHDL{\small{VHDL}\autoinsertnextspace}
-\def\GHC{\small{GHC}\autoinsertnextspace}
+\def\VHDL{\small{VHDL}}
+\def\GHC{\small{GHC}}
% TODO: Use this instead of $ to fool syntax highlighting
\def\${\char36}