noun
-
Usual symbol: ⌈.
⌉.
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.
"Collins English Dictionary — Complete & Unabridged"
2012 Digital Edition
© William Collins Sons & Co. Ltd. 1979, 1986
© HarperCollins Publishers 1998, 2000, 2003, 2005,
2006, 2007, 2009, 2012
Definitions and idiom definitions from Dictionary.com Unabridged, based on the Random House Unabridged Dictionary, © Random House, Inc. 2023
Idioms from The American Heritage® Idioms Dictionary copyright © 2002, 2001, 1995 by Houghton Mifflin Harcourt Publishing Company. Published by Houghton Mifflin Harcourt Publishing Company.
