X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Utils%2FShortcuts.tex;h=442a5c4bd988b6615a9bd0c9bce8e70acfc52ba7;hp=ecf4fedee6790755d4b3ed3204a1977f944ad82e;hb=75d1001c7a7809c80bc4113477ad90b12f23b80f;hpb=e7ddbeae0ba210c58dd08ebfb34315e3a9b9760c

diff --git a/Utils/Shortcuts.tex b/Utils/Shortcuts.tex
index ecf4fed..442a5c4 100644
--- a/Utils/Shortcuts.tex
+++ b/Utils/Shortcuts.tex
@@ -2,7 +2,36 @@
 % This file defines some useful shortcut commands
 %
 
-
 % A shortcut for italicized e.g. and i.e.
 \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
+% reference is the term itself, the name is the term with def: prefixed.
+% For example, \defref{some defined term} defines the reference named
+% "def:some defined term" to point to this location with the text "some
+% defined term".
+% You can refer to this reference with refdef, e.g., 
+% \refdef{def:some defined term}.
+\define[1]\defref{\defreftxt{#1}{#1}}
+
+% Define a new reference with a text different from the name, #1 is the name
+% of the reference, #2 is the text.
+% This automatically prefixes the reference name with def:
+\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
+% 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]}}
+
+% 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: