It stands for "implies that." For example, x=2⟹x2=4 - if x is 2, then it is evident that x squared is 4; the symbol essentially shows a function here.