... if using a double arrow (similar to one used for biconditionals) would ... not both," neither /A - B, nor A - /B will work here, since ... rule, thus allowing the rule to "fall away." Doing this ... />
This, in English, translates back to the actual rule: If before ...