TeXipedia

diagdown

Represents a diagonal line sloping downward from left to right, commonly used in mathematical notation and diagrams.

Overview

Serves as a specialized mathematical symbol primarily used in advanced mathematical writing and technical diagrams where specific diagonal elements need to be represented.

  • Often employed in matrix notation to indicate diagonal elements or patterns
  • Used in mathematical proofs and formal logic to show contradictions or cancellations
  • Appears in theoretical computer science and abstract algebra notation
  • Frequently combined with other symbols to create more complex mathematical constructions

Examples

Showing a contradiction in a mathematical proof using the diagonal slash symbol.

x=y    x2=xyx = y \implies x^2 = xy \diagdown
x = y \implies x^2 = xy \diagdown

Indicating an invalid or impossible mathematical statement.

1R\sqrt{-1} \in \mathbb{R} \diagdown
\sqrt{-1} \in \mathbb{R} \diagdown

Marking an incorrect algebraic simplification.

a+bc=ac+bc\frac{a+b}{c} = \frac{a}{c} + \frac{b}{c} \diagdown
\frac{a+b}{c} = \frac{a}{c} + \frac{b}{c} \diagdown