How to type this diagram on math.stackexchange? [duplicate]

Question

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

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!