Provide TeX notation for the equal cardinalities relation.