equal
deleted
inserted
replaced
137 \newcommand{\diffeoto}{\xrightarrow[\text{diffeo}]{\iso}} |
137 \newcommand{\diffeoto}{\xrightarrow[\text{diffeo}]{\iso}} |
138 \newcommand{\htpyto}{\xrightarrow[\text{htpy}]{\htpy}} |
138 \newcommand{\htpyto}{\xrightarrow[\text{htpy}]{\htpy}} |
139 |
139 |
140 \newcommand{\restrict}[2]{#1{}_{\mid #2}{}} |
140 \newcommand{\restrict}[2]{#1{}_{\mid #2}{}} |
141 \newcommand{\set}[1]{\left\{#1\right\}} |
141 \newcommand{\set}[1]{\left\{#1\right\}} |
|
142 \newcommand{\setc}[2]{\setcl{#1}{#2}} |
142 \newcommand{\setcl}[2]{\left\{ \left. #1 \;\right| \; #2 \right\}} |
143 \newcommand{\setcl}[2]{\left\{ \left. #1 \;\right| \; #2 \right\}} |
143 \newcommand{\setcr}[2]{\left\{ #1 \;\left| \; #2 \right\}\right.} |
144 \newcommand{\setcr}[2]{\left\{ #1 \;\left| \; #2 \right\}\right.} |
144 \newcommand{\relations}[2]{\left<#1 \;\left| \; #2 \right. \right>} |
145 \newcommand{\relations}[2]{\left<#1 \;\left| \; #2 \right. \right>} |
145 \newcommand{\cone}[3]{C\left(#1 \xrightarrow{#2} #3\right)} |
146 \newcommand{\cone}[3]{C\left(#1 \xrightarrow{#2} #3\right)} |
146 \newcommand{\pairing}[2]{\left\langle#1 ,#2 \right\rangle} |
147 \newcommand{\pairing}[2]{\left\langle#1 ,#2 \right\rangle} |