# Implies Symbol

Implies symbol.

Symbol Format Data
Unicode
10233

TeX
\implies
SVG

### Usage

Implies | Notation

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