Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!csd4.milw.wisc.edu!dogie.macc.wisc.edu!indri!lll-winken!uunet!mcvax!ukc!icdoc!tgould!iwm From: iwm@doc.ic.ac.uk (Ian Moor) Newsgroups: comp.text Subject: Re: the "meaning" brackets of Montague in LaTeX Message-ID: Date: 8 May 89 19:39:50 GMT References: <1526@cmx.npac.syr.edu> Sender: news@doc.ic.ac.uk Organization: Department of Computing, Imperial College, London Lines: 30 In-reply-to: gefuchs@skolem.uucp's message of 7 May 89 07:04:54 GMT Posting-Front-End: GNU Emacs 18.47.2 of Wed Sep 16 1987 on ivax (berkeley-unix) 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!