1 Jun
2001
1 Jun
'01
11:07 a.m.
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