[FOM] LaTeX code for "truth value of ..."
Alfio Martini
alfio.martini at acm.org
Thu Dec 22 22:07:10 EST 2016
Hi Robert,
I call this operator "semantic brackets". The easiest way to code it is
like this:
\newcommand{\lsem{[\![}
\newcommand{\rsem}{]\!]}
which typesets just fine.
Another way, is to import the package "stmaryrd" and use the proper
commands;
\newcommand{\lsem}{\llbracket}
\newcommand{\rsem}{\rrbracket}
Hope it helps.
On Thu, Dec 22, 2016 at 8:38 PM, Robert Lubarsky <
Lubarsky.Robert at comcast.net> wrote:
> In forcing and related areas, often the symbol which is like |[ - ]|
> (don’t know how else to type it) is used for the truth value, as in |[ phi
> ]| meaning the truth value of phi as a member of the Boolean value used in
> the forcing (or the truth value as a member of a Heyting algebra, for
> Heyting-valued models, and so on). What is the latex code for that symbol?
>
>
>
> Bob Lubarsky
>
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom
>
>
--
Alfio Ricardo Martini
PhD in Computer Science (TU Berlin)
Associate Professor at Faculty of Informatics (PUCRS)
www.inf.pucrs.br/alfio
Av. Ipiranga, 6681 - Prédio 32 - Faculdade de Informática
90619-900 -Porto Alegre - RS - Brasil
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20161223/5d499c77/attachment.html>
More information about the FOM
mailing list