Implies operator

Redirect to:

• Material conditional