Possible Answers For: Operator represented by a downward arrow in symbolic logic