# What are your options to draw commutative diagrams on MSE? [duplicate]

I know that I asked similar questions in the past, but I still do not seem to figure it out, what the best way is to post a 'complex' diagram on this website.

Nothing seems to work, and the things that do work aquire a lot of work and take to much time in my opinion...

I just posted this question: Universal property of product topology, unique up to homeomorphism

Which was not fun at all. Can you please tell me, how I could have drawn these diagrams here with the most efficient method?

Thank you!

## marked as duplicate by Xander Henderson, Glorfindel, JMP, mrtaurho, José Carlos SantosAug 20 at 20:35

$$\underset{\underset{\hspace{-20px}l_k}\searrow}{y\overset{f}\longrightarrow}\underset{\hspace{-20px}X_{l_K}}{\underset{\downarrow P_{r_k}}{\hspace{-20px}X}}$$