TeXipedia
Find LaTeX symbols fast

A negated double arrow symbol indicating non-implication or the absence of a logical consequence between statements.

\nRightarrow image

Examples

Showing non-implication in logic

AB means ’A does not imply B’A \nRightarrow B \text{ means 'A does not imply B'}
A \nRightarrow B \text{ means 'A does not imply B'}

Counterexample in set theory

x>0x>1 (consider x=0.5)x > 0 \nRightarrow x > 1 \text{ (consider } x = 0.5\text{)}
x > 0 \nRightarrow x > 1 \text{ (consider } x = 0.5\text{)}

Non-relationship between mathematical properties

Continuous  Differentiable\text{Continuous } \nRightarrow \text{ Differentiable}
\text{Continuous } \nRightarrow \text{ Differentiable}
  1. 👋 Welcome to TeXipedia!
    TeXipedia is a fast, free symbol search engine for LaTeX, including descriptions and examples.Learn more