# Implies Symbol (⟹)

Implies symbol.

Symbol Format Data
Unicode
10233
TeX
\implies
SVG

## Usage

The boolean operator for implication is denoted using a double arrow pointing to the right.