  A morphism $g$ from the free monoid $X^*$ into itself is called upper
triangular if the matrix of $g$ is upper triangular. We characterize all upper
triangular binary morphisms $g_1$ and $g_2$ such that $g_1g_2=g_2g_1$.
