... LG, I wonder if using a double arrow (similar to ... but not both," neither /A - B, nor A - /B will work here, since both ... vice versa.
Using a double arrow, you could diagram ... satisfying the necessary condition in a single arrow rule, thus allowing ...