Tagged Questions

6
votes
1answer
179 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 ...