↯
Arrow 32
- Unicode
- U+21AF
- Category
- Arrows
- HTML Entity
- ↯
- CSS
- \21AF
The ↯ (downwards zigzag arrow) symbol is a Unicode character that visually resembles a striking lightning bolt. In mathematical logic, it is frequently used to denote a contradiction, signaling that a specific assumption leads to an impossible conclusion. Beyond technical fields, people often use it creatively in typography and online messaging to represent electricity, high energy, or a sudden drop.
How to Type
- Windows
- Alt+8623 (Numpad) or type 21AF followed by Alt+X in Word
- macOS
- Control+Command+Space then search "downwards zigzag arrow"
- Linux
- Ctrl+Shift+U then type 21af and press Enter
- HTML
- ↯ or ↯
In Programming
In mathematical logic and formal proofs, this symbol is commonly used to indicate a contradiction. While rarely used in standard programming languages, it frequently appears in mathematical typesetting systems like LaTeX using the \lightning or \contra commands.
Tags
absurdity symbol
arrow
contradiction symbol
direction
down
electric arrow
high energy symbol
lightning
lightning bolt symbol
logic contradiction
reductio ad absurdum
zigzag
zigzag lightning