Add macro for the inhabitant of unit

HoTT · Dec 7, 2012 · 836363b · 836363b
1 parent ab0c760
commit 836363b
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/macros.tex b/macros.tex
@@ -72,18 +72,14 @@
 
 %%% The unit type
 \newcommand{\unit}{\ensuremath{\mathbf{1}}\xspace}
+\newcommand{\ttt}{\ensuremath{\star}\xspace}
 
 %%% Blanks (i.e. anonymous lambdas)
 \newcommand{\blank}{\mathord{\underline{\hspace{1ex}}}}
 %\newcommand{\blank}{(-)}
 %\newcommand{\blank}{(?)}
 
 
-% Unit type
-\newcommand{\unit}{\ensuremath{\star}\xspace}
-\newcommand{\ttt}{\ensuremath{\star}\xspace}
-
-
 %%%% THEOREM ENVIRONMENTS %%%%
 
 % Hyperref includes the command \autoref{...} which is like \ref{...}