quasi-quote
Logic
noun
(In plural) quotation marks used when a term contains both a mention of a symbol from the object language and a use of a symbol from the formal logical metalanguage; usually represented by corners (⌜⌝).
Origin
1930s; earliest use found in Journal of Symbolic Logic.