TeXipedia

Rsh

Represents a right shift operator or mapping, commonly used in mathematical logic and set theory.

Overview

Serves as a specialized mathematical symbol primarily found in advanced mathematical notation and formal logic contexts.

  • Frequently appears in category theory to denote specific types of mappings or transformations
  • Used in set-theoretic contexts to indicate rightward relationships or operations
  • Common in academic papers and theoretical mathematics documentation
  • Often paired with its counterpart \Lsh for bidirectional relationships

Examples

Expressing a right shift operator in formal logic.

A↱BA \Rsh B 
A \Rsh B

Denoting a binary relation in set theory.

{(x,y)∈X×Y:x↱y}\{(x,y) \in X \times Y : x \Rsh y\} 
\{(x,y) \in X \times Y : x \Rsh y\}

Representing a right-shift operation in computational mathematics.

f(n)=n↱kf(n) = n \Rsh k 
f(n) = n \Rsh k