Implies Symbol

Implies symbol.

FormatDisplayData
ImageImplies SymbolDownload SVG ↓
TeX
\implies
Unicode
10233

Usage

Implies Notation
Implies

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