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
[EMAIL PROTECTED]
_______________________________________________
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe
