Joe English wrote:
> 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.
There's also \llbracket and \rrbracket, from stmaryrd. They look better than
the negative space hack, IMHO (now all I need is for Alan Jeffrey to write in
and say that \{ll,rr}bracket are implemented with the negative space hack :-)
Cheers,
Andy
--
Andy Moran Ph. (503) 526 3472
Galois Connections, Inc. Fax. (503) 350 0833
3875 SW Hall Blvd. http://www.galconn.com
Beaverton, OR 97005 [EMAIL PROTECTED]
_______________________________________________
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe
