logical implication

logical connective between two assertions, frequently symbolized by a (most often double) arrow to the right