Disjoint union of graphs (source code)

= Disjoint union of graphs
{wiki}

The disjoint union $\Gamma_1\sqcup\Gamma_2$ has the vertices and edges of the two graphs and no edge joining the two parts.