TeXipedia

urcorner

Represents the upper right corner bracket, commonly used in mathematical logic and set theory notations.

Overview

Serves as a closing delimiter in formal logic, particularly in modal logic and proof theory where corner brackets denote specific operations or syntactic elements.

  • Often paired with \ulcorner to create complete bracket pairs
  • Used in metamathematical contexts to denote Gödel numbers or formal expressions
  • Appears in philosophical logic for quotation and mention distinctions
  • Common in formal semantics and mathematical foundations literature

Examples

Logical negation using corner notation in propositional logic.

¬P≡P⌝\neg P \equiv P \urcorner 
\neg P \equiv P \urcorner

Set builder notation using corner brackets.

A={x∣P(x)⌝A = \{x \mid P(x)\urcorner 
A = \{x \mid P(x)\urcorner

Formal syntax notation in mathematical logic.

ϕ:=(ψ⌝\phi := (\psi \urcorner 
\phi := (\psi \urcorner