Rightwards Squiggle Arrow

Rightwards Squiggle Arrow at U+21DD is a right-pointing arrow with a wavy shaft, used to show a loose, informal, or nonstandard kind of movement or implication. It belongs to the Arrows block, alongside many directional symbols used in mathematics, diagrams, and technical writing. Its main use is in mathematical and logical notation when an author wants an arrow relation that is visibly distinct from ordinary implication, mapping, or convergence. Depending on the paper or textbook, A ⇝ B may mean “rewrites to,” “leads to,” “transforms into,” “has a path to,” or “implies by a special relation,” with the exact meaning defined locally. In theoretical computer science it appears in operational semantics, rewriting systems, automata diagrams, and process calculi, where a squiggly arrow can mark a transition that is derived, approximate, nondeterministic, or otherwise different from a standard step. It is also used in informal notes and slides to suggest “goes to” or “eventually becomes” without committing to a formal arrow such as → or ⇒. Because its semantics are not fixed by Unicode, the surrounding notation matters more than the symbol name. It can be confused in meaning, though not usually in shape, with other rightward arrows such as →, ↝, and ⇒, so formal documents normally introduce it before relying on it.