[FOM] LaTeX code for "truth value of ..."
Stanislav Speranski
katze.tail at gmail.com
Fri Dec 23 00:58:43 EST 2016
Dear Robert (if I may),
I think that the simplest way do to that is the following. First we add the
line
\usepackage{stmaryrd}
Then to obtain [[ Phi ]] we can simply write $\llbracket \Phi \rrbracket$.
Best regards,
Stanislav O. Speranski
On 23 December 2016 at 01:38, 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
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20161223/236d798b/attachment-0001.html>
More information about the FOM
mailing list