TeXipedia

rrbracket

Represents a right double square bracket, commonly used in mathematical notation for specialized delimiters or interval notation.

Overview

Serves as a specialized mathematical delimiter that provides a more prominent or distinct right boundary compared to standard square brackets. Most commonly encountered in:

  • Advanced mathematical notation where distinct levels of grouping are needed
  • Specialized interval notation in certain mathematical contexts
  • Set theory and abstract algebra where different types of brackets convey specific meaning
  • Custom mathematical notation systems requiring visually distinct delimiters

Examples

Double semantic brackets in category theory to denote a morphism set.

Hom(X,Y)=[[X,Y⟧\mathrm{Hom}(X,Y) = [[X,Y\rrbracket 
\mathrm{Hom}(X,Y) = [[X,Y\rrbracket

Interval notation with right semantic bracket in ordered sets.

(−∞,a⟧={x∣x≤a}(-\infty, a\rrbracket = \{x \mid x \leq a\} 
(-\infty, a\rrbracket = \{x \mid x \leq a\}

Semantic brackets in formal semantics to denote interpretation function.

⟦ϕ⟧={w∈W:w⊨ϕ⟧\llbracket \phi \rrbracket = \{w \in W : w \models \phi\rrbracket 
\llbracket \phi \rrbracket = \{w \in W : w \models \phi\rrbracket