preamble.tex
changeset 38 0a43a274744a
parent 37 2f677e283c26
child 40 b7bc1a931b73
--- a/preamble.tex	Mon Jul 07 03:20:11 2008 +0000
+++ b/preamble.tex	Mon Jul 07 04:04:06 2008 +0000
@@ -117,11 +117,11 @@
 \newcommand{\into}{\hookrightarrow}
 \newcommand{\onto}{\twoheadrightarrow}
 \newcommand{\iso}{\cong}
+\newcommand{\htpy}{\simeq}
 \newcommand{\actsOn}{\circlearrowright}
 \newcommand{\isoto}{\xrightarrow{\iso}}
 \newcommand{\quismto}{\xrightarrow[\text{q.i.}]{\iso}}
-
-\newcommand{\htpy}{\simeq}
+\newcommand{\htpyto}{\xrightarrow[\text{htpy}]{\htpy}}
 
 \newcommand{\restrict}[2]{#1{}_{\mid #2}{}}
 \newcommand{\set}[1]{\left\{#1\right\}}