Date: Mon, 6 Jan 92 11:38:43 CST To: linear@cs.stanford.edu I don't know when the notation for relvant or intensional disjunction was first introduced. Meyer and McRobbie were using it in person in the late '70s. Surely it appears in print in N.D. Belnap, Jr.'s "Display Logic" in Journal of Philosophical Logic (or is it Journal of Symbolic Logic) 1982. steve giambrone