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

Joe English jenglish@flightlab.com
Fri, 01 Jun 2001 08:07:58 -0700

Fergus Henderson wrote:

> 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.

It's often done by squishing together two ordinary square brackets
with a negative thin space (\!):

\newcommand{\sembrack}[1]{[\![#1]\!}

This looks good with Computer Modern; with other fonts YMMV.

--Joe English

jenglish@flightlab.com