Article View: comp.text
Article #6339Re: the "meaning" brackets of Montague in LaTeX
From: Ian Moor
Date: Mon, 08 May 1989 19:39
Date: Mon, 08 May 1989 19:39
30 lines
1699 bytes
1699 bytes
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!
Technical Details
Message-ID:
<IWM.89May8203950@ivax.doc.ic.ac.uk>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!csd4.milw.wisc.edu!dogie.macc.wisc.edu!indri!lll-winken!uunet!mcvax!ukc!icdoc!tgould!iwmReferences:
<1526@cmx.npac.syr.edu>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!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: <IWM.89May8203950@ivax.doc.ic.ac.uk> 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)