6
votes
1answer
291 views

How does one typeset a pretty, squiggly arrow in xymatrix

I am LaTeX-ing some diagrams in rewriting theory where the rules are modulo a set of equations. Canonically, a ~-like symbol is used to denote equivalence. I have been using \ar@{~}. Here is an ...