<->
IsEqArrow