Is there a way to put a relation symbol (appropriately oriented) as the arrow in an xymatrix diagram? For example, a lattice of sets with the subset relation symbol pointing from the subset to the superset.
Here is my solution — I can't do anything better without a MWE.
And the result :
Note that you can find some help in the xyguide pages 5 and 6.