Permalink
Browse files

putting macros that are used in other files into macros.tex

  • Loading branch information...
1 parent 6a8f9d3 commit 78b9690dcf2a87a77a211d3857fc2d8b056a63d7 @mikeshulman mikeshulman committed Dec 8, 2012
Showing with 17 additions and 9 deletions.
  1. +0 −4 categories.tex
  2. +2 −2 homotopy.tex
  3. +15 −0 macros.tex
  4. +0 −3 pa-macros.tex
View
@@ -1,7 +1,3 @@
-\newcommand{\uset}{\ensuremath{\underline{\set}}\xspace}
-\newcommand{\ucat}{\ensuremath{\underline{\mathsf{Cat}}}\xspace}
-\newcommand{\urel}{\ensuremath{\underline{\mathsf{Rel}}}\xspace}
-\newcommand{\uhilb}{\ensuremath{\underline{\mathsf{Hilb}}}\xspace}
\newcommand{\inv}[1]{{#1}^{-1}}
\newcommand{\idtoiso}{\ensuremath{\mathsf{idtoiso}}\xspace}
\newcommand{\isotoid}{\ensuremath{\mathsf{isotoid}}\xspace}
View
@@ -25,8 +25,8 @@
% Diagram
\newcommand{\Ddiag}{\mathscr{D}}
% Pushouts
-\newcommand{\inl}{\mathsf{inl}}
-\newcommand{\inr}{\mathsf{inr}}
+% \newcommand{\inl}{\mathsf{inl}}
+% \newcommand{\inr}{\mathsf{inr}}
\newcommand{\glue}{\mathsf{glue}}
% Cone
\newcommand{\cone}[2]{\mathrm{cone}_{#1}(#2)}
View
@@ -74,11 +74,26 @@
\newcommand{\unit}{\ensuremath{\mathbf{1}}\xspace}
\newcommand{\ttt}{\ensuremath{\star}\xspace}
+%%% Injections into binary sums
+\newcommand{\inl}{\ensuremath{\mathsf{inl}}\xspace}
+\newcommand{\inr}{\ensuremath{\mathsf{inr}}\xspace}
+
%%% Blanks (i.e. anonymous lambdas)
\newcommand{\blank}{\mathord{\underline{\hspace{1ex}}}}
%\newcommand{\blank}{(-)}
%\newcommand{\blank}{(?)}
+%%% Some decorations
+\newcommand{\bbU}{\mathbb{U}}
+\newcommand{\bbB}{\mathbb{B}}
+\newcommand{\bbP}{\mathbb{P}}
+
+%%% Some categories
+\newcommand{\uset}{\ensuremath{\underline{\set}}\xspace}
+\newcommand{\ucat}{\ensuremath{\underline{\mathsf{Cat}}}\xspace}
+\newcommand{\urel}{\ensuremath{\underline{\mathsf{Rel}}}\xspace}
+\newcommand{\uhilb}{\ensuremath{\underline{\mathsf{Hilb}}}\xspace}
+
%%%% THEOREM ENVIRONMENTS %%%%
View
@@ -6,9 +6,6 @@
\newcommand{\gives}{{\;\rhd\;}}
\newcommand{\oa}{\overline{a}}
-\newcommand{\bbU}{\mathbb{U}}
-\newcommand{\bbB}{\mathbb{B}}
-\newcommand{\bbP}{\mathbb{P}}
\newcommand{\bbt}{t\! t}
\newcommand{\bbf}{f\!\! f}

0 comments on commit 78b9690

Please sign in to comment.