(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.
Definition of quasi-quote in US English:
quasi-quote
noun
Logic
(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.