slightly less obnoxious web symbols

blueprint/src/macros/web.tex

@@ -4,20 +4,22 @@
 % Typically the printed version could have more fancy decorations.
 % This will probably be a very short file.
 
+\newcommand{\coloneq}{:=}
+
 \newcommand{\Del}{\Delta}
 
 \newcommand{\fib}{\twoheadrightarrow}
-\newcommand{\we}{\to}
-\newcommand{\trvfib}{\to}
+\newcommand{\we}{\rightsquigarrow}
+\newcommand{\trvfib}{\twoheadrightarrow}
 \newcommand{\To}{\Rightarrow}%2-cells
-\newcommand{\isoto}{\to}
+\newcommand{\isoto}{\rightsquigarrow}
 \newcommand{\inc}{\hookrightarrow}
 
-\newcommand{\catfour}{4}%texdoc unimath-symbols.pdf
-\newcommand{\catthree}{3}%texdoc unimath-symbols.pdf
-\newcommand{\cattwo}{2}
-\newcommand{\catone}{1}
-\newcommand{\catn}{n}
-\newcommand{\catnone}{{\catn\!+\!\catone}}
-\newcommand{\catntwo}{{\catn\!+\!\cattwo}}
+\newcommand{\catfour}{[3]}
+\newcommand{\catthree}{[2]}
+\newcommand{\cattwo}{[1]}
+\newcommand{\catone}{[0]}
+\newcommand{\catn}{[n-1]}
+\newcommand{\catnone}{[n]}
+\newcommand{\catntwo}{[n+1]}
 \newcommand{\iso}{I}