单词 | quasi-quote |
释义 | quasi-quoteLogic 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 (⌜⌝). Origin1930s; earliest use found in Journal of Symbolic Logic. |
随便看 |
英语词典包含243303条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。