A commutative diagram illustrating the universal property of <a href="https://en.wikipedia.org/wiki/coproduct" class="extiw" title="w:coproduct">coproducts</a>.
<a href="//commons.wikimedia.org/wiki/User:Kephir" title="User:Kephir">Keφr</a>, original TeX code by <a href="//commons.wikimedia.org/w/index.php?title=User:Snubcube&amp;action=edit&amp;redlink=1" class="new" title="User:Snubcube (page does not exist)">Snubcube</a>.
Modified the source code from <a href="//commons.wikimedia.org/wiki/File:CategoricalProduct-03.svg" title="File:CategoricalProduct-03.svg">File:CategoricalProduct-03.svg</a> to the following form: <div class="mw-highlight mw-highlight-lang-latex mw-content-ltr" dir="ltr"><pre><span></span><span class="k">\documentclass</span><span class="nb">{</span>article<span class="nb">}</span>
<span class="k">\usepackage</span><span class="nb">{</span>xy<span class="nb">}</span>
<span class="k">\xyoption</span><span class="nb">{</span>all<span class="nb">}</span>
<span class="k">\begin</span><span class="nb">{</span>document<span class="nb">}</span>
<span class="k">\pagestyle</span><span class="nb">{</span>empty<span class="nb">}</span>
<span class="sb">\[</span>
<span class="nv">\xymatrix</span><span class="nb">{</span>
<span class="nb">&amp; Y &amp; </span><span class="nv">\\</span>
<span class="nb">X_</span><span class="m">1</span><span class="nb"> </span><span class="nv">\ar</span><span class="o">[</span><span class="nb">ru</span><span class="o">]</span><span class="nb">^{f_</span><span class="m">1</span><span class="nb">} </span><span class="nv">\ar</span><span class="o">[</span><span class="nb">r</span><span class="o">]</span><span class="nb">_{i_</span><span class="m">1</span><span class="nb">} &amp; X_</span><span class="m">1</span><span class="nb"> </span><span class="nv">\coprod</span><span class="nb"> X_</span><span class="m">2</span><span class="nb"> </span><span class="nv">\ar</span><span class="nb">@{</span><span class="o">--</span><span class="nb">&gt;}</span><span class="o">[</span><span class="nb">u</span><span class="o">]</span><span class="nb">^f &amp; </span><span class="nv">\ar</span><span class="o">[</span><span class="nb">lu</span><span class="o">]</span><span class="nb">_{f_</span><span class="m">2</span><span class="nb">} </span><span class="nv">\ar</span><span class="o">[</span><span class="nb">l</span><span class="o">]</span><span class="nb">^{i_</span><span class="m">2</span><span class="nb">} X_</span><span class="m">2</span><span class="nb"> </span><span class="nv">\\</span>
<span class="nb">}</span>
<span class="s">\]</span>
<span class="k">\end</span><span class="nb">{</span>document<span class="nb">}</span>
</pre></div>
Then ran <code>latex coprod.tex &amp;&amp; dvisvgm -n coprod.dvi</code> to convert to SVG.