Implication

An implication implies, that if A, then B. $$ A\implies B $$