gefuchs@skolem.uucp (Gill E. Fuchs) (05/07/89)
Any body familiar with the Denotation Semantics brackets which yield the meaning? kinda look like, ---- ---- || || || A || = "meaning" of A || || ---- ---- well, i can't find it in LL's book, is it part of some other font? if not, how would one go about defining it in TeX? thanks a meaningless logician is a logician without brackets... gill
iwm@doc.ic.ac.uk (Ian Moor) (05/09/89)
In article <1526@cmx.npac.syr.edu> gefuchs@skolem.uucp (Gill E. Fuchs) writes: > Any body familiar with the Denotation Semantics brackets which yield > the meaning? > kinda look like, ---- ---- > || || > || A || = "meaning" of A > || || > ---- ---- > well, i can't find it in LL's book, is it part of some other font? > if not, how would one go about defining it in TeX? The brackets used in the Haskell report were produced by overprinting pairs of `[' and `]', they look fine, here's the definition \newcommand{\lsem}{\lbrack\!\lbrack} \newcommand{\rsem}{\rbrack\!\rbrack} \! is a small negative space -- Ian W Moor UUCP: uunet!mcvax!ukc!icdoc!iwm ARPA: iwm@doc.ic.ac.uk JANET: iwm@uk.ac.ic.doc Department of Computing We don't need no documentation, Imperial College. We don't need no source control, 180 Queensgate No dark sarcasm in the boardroom, London SW7 UK. Manager! leave those programmers alone!
bts@sas.UUCP (Brian T. Schellenberger) (05/12/89)
How about
\def\lmean{[\hskip-.1em[}
\def\rmean{]\hskip-.em]}
What is \lfoo\ this \rfoo\ ?
--
-- Brian, the Man from Babble-on. ...!mcnc!rti!sas!bts
--
"Every jumbled pile of person has a thinking part that wonders what the part
that isn't thinking isn't thinking of" -- THEY MIGHT BE GIANTS