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
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
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
On Fri, Jun 01, 2001 at 12:41:05PM -0400, Ken Shan wrote:
On 2001-06-01T08:41:34-0700, Andrew Moran wrote:
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