Symbolic logic loses a little when we are confined to non-symbolic text, but I'm think your double arrow means what you said.

I'll use .OR. to represent a logical operation between boolean...