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
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):