4
$\begingroup$

Is there a way to type this diagram on math.stackexchange?

enter image description here

from

https://upload.wikimedia.org/wikipedia/commons/2/2f/Lifting_diagram.png

For example, I know there is a way to type CD commutative diagram like this: $$ \begin{array}{ccc} SL(2,R)\times S^1 & \longrightarrow & S^1\\ \downarrow &~& \downarrow\\ PSL(2,R)\times RP^1 & \longrightarrow &RP^1 \end{array} $$

Thanks!

$\endgroup$
4

Browse other questions tagged .