projects
/
matthijs
/
master-project
/
report.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add intermezzo on wild binders.
[matthijs/master-project/report.git]
/
Utils
/
Shortcuts.tex
diff --git
a/Utils/Shortcuts.tex
b/Utils/Shortcuts.tex
index 93b673034e53c4f5d96273f2ebe44a265d8cd288..80d1696c0369506532aaa20df9a90c7a6f12bf73 100644
(file)
--- a/
Utils/Shortcuts.tex
+++ b/
Utils/Shortcuts.tex
@@
-2,9
+2,7
@@
% This file defines some useful shortcut commands
%
% This file defines some useful shortcut commands
%
-
% A shortcut for italicized e.g. and i.e.
% 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.}}
\define[0]\ie{{\em i.e.}}
@@
-24,11
+22,16
@@
\define[2]\defreftxt{\reference[def:#1]{#2}}
% Reference a defined reference (using \defref). Will put the reference text
\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 \in
other
margin, 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:
% bigger.
% This automatically prefixes the reference name with def:
-\define[1]\refdef{\in
other
margin{\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
% Shortcuts to write in smallcaps
-\define[0]\VHDL{\small{VHDL}}
-\define[0]\GHC{\small{GHC}}
+\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: