\Rsh
The \Rsh symbol is used to represent a rightwards double arrow with a tail, often used in mathematical logic or computer science to denote a specific type of transition or mapping.
Indicating a transition from state A to state B in a state machine.
A \Rsh B
Denoting a special type of mapping or function from set X to set Y.
f: X \Rsh Y
Representing a logical implication or transformation from proposition P to proposition Q.
P \Rsh Q