... as a rule in an LG, I wonder if using ... used for biconditionals) would be best for this. Since ... the rule is "or, but not both," neither /A - B, ... will work here, since both could be in or both out, ...
Using a double arrow, you could diagram the rule you cited ...