Implies mathematical notation

Implies is a recurring research-paper notation family. States that whenever the proposition on the left is true, the proposition on the right must be true.

Implies: States that whenever the proposition on the left is true, the proposition on the right must be true. Example: Every value above two is also above one.