Double Square Brackets
⟦⟧
Type it
| Unicode | U+27E6 U+27E7 | |
|---|---|---|
| LaTeX | \llbracket \rrbracket | |
| HTML entity | ⟦ ⟧ | |
| Character | ⟦⟧ |
Meaning
Enclose an expression to mean its value or meaning in semantics. They also mark integer intervals, so ⟦1, n⟧ means the whole numbers from 1 to n. In LaTeX they need the stmaryrd package. Compare with Square Brackets and Integers.
How to read it
⟦1, n⟧
is read “the integers from one to n”.