xxx=xx {\xtwoheadrightarrow x} {\xtwoheadleftarrow x} {\xmapsto x} {\xlongequal x} {\xtofrom x}