U+21D2 "⇒" Rightwards Double Arrow Unicode Character

U+21D2 "⇒" Rightwards Double Arrow is a mathematical and logical symbol widely recognized as representing implication, logical consequence, or material conditional in fields such as mathematics, computer science, and philosophy. It visually consists of two parallel horizontal lines forming an arrow pointing to the right, and its primary meaning is that the statement on its left logically entails the statement on its right, analogous to the words "implies" or "if... then." This character is distinct from similar arrows like the single rightwards arrow or the double-struck version, and it is encoded in the Unicode standard under the "Arrows" block, making it a standard tool for formal notation in digital text.