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 example
$\xymatrix@C=10pt{
& & \cdot \ar[drr]^{*} \ar[dll]_{*} & & \\
\cdot \ar@{.>}[dr]_{*} & & & & \cdot \ar@{.>}[dl]^{*}\\
& \cdot \ar@{~}[rr] & & \cdot &
}$
If the above is compiled it looks, well, aesthetically unpleasing. I can't exactly put my finger on it, but it looks crooked. I think it has to do with the fact that the curved line begins and ends at different heights. Does anyone have a recommendation for how to get around such issues.
10pt