Boolean implication Z10329
Function

logical connective between two assertions, frequently symbolized by a (most often double) arrow to the right
This page displays in a limited way without JavaScript.