quasi-quotation

logic a metalinguistic device for referring to the form of an expression containing variables without referring to the symbols for those variables. Thus while "not p" refers to the expression consisting of the word not followed by the letter p, the quasi-quotation ⌈ not p ⌉ refers to the form of any expression consisting of the word not followed by any value of the variable p. Usual symbol⌈⌉corners