Don't we want to show something like,

\\[
(\hom^{op}(x,x) \times 1\_X)(1\_X \times \hom(x,x))\\\\
\cong (1^{op}\_X \times 1\_X)\hom(x,x)\\\\
\cong 1\_X
\\]

Or in pretty pictures,