The MathResource
implication,
see material implication. See also strict implication.