[off-topic] LaTex for [[ ... ]]

[Keith Wansbrough]

> Sorry for the off-topic post, but I figured someone here would know...
> can anyone please tell me how to do the double-square-bracket symbols
> that are often used in denotational semantics in LaTex?  It's like
> "[[" but a single symbol without the space between the two brackets.
> (I checked the Latex companion, but it's not listed there AFAICT.)

\newcommand{\lsem}{[\![}
\newcommand{\rsem}{]\!]}

is what I use; there are some real ones in \usepackage{stmaryrd} if you really want them.

--KW 8-)

-- 
Keith Wansbrough <kw217@cl.cam.ac.uk>
http://www.cl.cam.ac.uk/users/kw217/
Cambridge University Computer Laboratory.