X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Utils%2FShortcuts.tex;h=80d1696c0369506532aaa20df9a90c7a6f12bf73;hp=34f15b0745c046fd52f6dc4a1259e5abd2c919f4;hb=313351372e8c609c2875902d9c9a2b89f7c97032;hpb=56de744d12dde761456828e48af1e6f74c1790e0

diff --git a/Utils/Shortcuts.tex b/Utils/Shortcuts.tex
index 34f15b0..80d1696 100644
--- a/Utils/Shortcuts.tex
+++ b/Utils/Shortcuts.tex
@@ -2,10 +2,9 @@
 % This file defines some useful shortcut commands
 %
 
-
 % 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
@@ -23,11 +22,16 @@
 \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}
+
+% vim: set sw=2 sts=2 expandtab: