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.