\leadsto - LaTeX Symbol

Back to Symbols

⇝

\leadsto

The symbol \leadsto is used to denote a logical or mathematical implication, often indicating a transformation or a result that follows from a given condition or set of conditions.

Examples

A ⇝ B

Indicates that A implies B or leads to B.

A \leadsto B

x > 0 ⇝ x^{2} > 0

Shows that if x is greater than 0, then x squared is also greater than 0.

x > 0 \leadsto x^2 > 0

P ⇝ Q ⇝ R

Illustrates a chain of implications where P implies Q, and Q implies R.

P \leadsto Q \leadsto R