+\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}}
+\def\GHC{\small{GHC}}
+
+% TODO: Use this instead of $ to fool syntax highlighting
+\def\${\char36}
+
+% vim: set sw=2 sts=2 expandtab: