TeXipedia

lrcorner

Represents a lower right corner symbol commonly used in mathematical diagrams and set theory notations.

Overview

Primarily employed in advanced mathematics and formal logic to denote specific operations or relationships in diagrams and proofs.

  • Frequently appears in category theory and algebraic topology diagrams
  • Used to mark the bottom-right position in mathematical matrices or diagrams
  • Often paired with other corner symbols (\ulcorner, \llcorner, \urcorner) to create box-like structures or boundaries
  • Common in formal mathematical texts and academic publications where precise geometric or structural notation is required

Examples

Denoting the right corner operator in differential geometry.

ω⌟η\omega \lrcorner \eta 
\omega \lrcorner \eta

Interior product notation in exterior algebra.

X⌟ω=∑i=1nXiωiX \lrcorner \omega = \sum_{i=1}^n X^i \omega_i 
X \lrcorner \omega = \sum_{i=1}^n X^i \omega_i

Marking the end of a rectangular region in abstract algebra.

A={(x,y)∈R2:0≤x≤1,0≤y≤1}⌟A = \{(x,y) \in \mathbb{R}^2 : 0 \leq x \leq 1, 0 \leq y \leq 1\} \lrcorner 
A = \{(x,y) \in \mathbb{R}^2 : 0 \leq x \leq 1, 0 \leq y \leq 1\} \lrcorner