My guess is that logicians used it long before any of these did, and that the origin is that it evolved from parenthesized Quine corners: _ _ (| syntax |) Bob Tennent +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++