1: \begin{definition}\cite[Theorem 1.3]{melody}

2: Let $\Gamma$ be a weighted metric graph, and let $(G, l)$ denote its canonical loopless model. We say that $\Gamma$ is \emph{hyperelliptic} if there exists a nondegenerate harmonic morphism of degree 2 from $G$ to a tree.

3: \end{definition}

4: