Quasi-quoteation

Quasi-quotation is sometimes denoted using the symbols ⌜ and ⌝ (unicode U+231C, U+231D), or double square brackets, ⟦ ⟧ ("Oxford brackets"), instead of ordinary quotation marks.

3: Dowty, D., Wall, R. and Peters, S.: 1981, Introduction to Montague semantics, Springer.