ocals>.formatterzS\xymatrix{
A \ar@{-->}[r]^{\exists !g\circ f} \ar[d]_{f} & C \\
B \ar[ru]_{g} & 
}
c