The following shows an angled degree symbol:
In more explicit terms, the equaliser consists of an object E and a morphism eq : E → X satisfying ,
and such that, given any object O and morphism m : O → X, if , then there exists a unique morphism u : O → E such that .
The following equation shows how to use square root:
A morphism is said to equalise and if .
Math tag can show pictures
Failed to parse (unknown function "\xymatrix"): {\displaystyle \xymatrix{U \ar@/_/[ddr]_y \ar@/^/[drr]^x \ar@{.>}[dr]|-{(x,y)} \\ & X \times_Z Y \ar[d]^q \ar[r]_p & X \ar[d]_f \\ & Y \ar[r]^g & Z }}