Author: Urs Format: MarkdownItexadded some whitespace and parenthesis to this formula
$$\mathrm{idToIso}(x, y):(x =_A y) \to x \cong_A y$$
in order to make it parseable also by readers who are not already experts (and to make it more enjoyable to look at, in general):
$$
\mathrm{idToIso}(x, y)
\;\colon\;
(x =_A y)
\;
\to
\;
(x \cong_A y)
$$
<a href="https://ncatlab.org/nlab/revision/diff/Rezk+type/2">diff</a>, <a href="https://ncatlab.org/nlab/revision/Rezk+type/2">v2</a>, <a href="https://ncatlab.org/nlab/show/Rezk+type">current</a>
added some whitespace and parenthesis to this formula
idToIso(x,y):(x=Ay)→x≅Ay
in order to make it parseable also by readers who are not already experts (and to make it more enjoyable to look at, in general):