[FOM] LaTeX code for "truth value of..."

[Gmail]

Dear Robert,

In relation to your question about "double brackets" (not sure if that's their name) I found the following link very useful:
http://tex.stackexchange.com/questions/81785/latex-code-for-white-square-brackets-and

Sincerely:
Jonathan Julián Huerta y Munive
> 
> Message: 4
> Date: Thu, 22 Dec 2016 17:38:59 -0500
> From: "Robert Lubarsky" <Lubarsky.Robert at comcast.net>
> To: "Foundations of Mathematics" <fom at cs.nyu.edu>
> Subject: [FOM] LaTeX code for "truth value of ..."
> Message-ID: <000001d25ca4$308f5f20$91ae1d60$@comcast.net>
> Content-Type: text/plain; charset="us-ascii"
> 
> 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
> 
> -------------- next part --------------
> An HTML attachment was scrubbed...
> URL: </pipermail/fom/attachments/20161222/e7e0ae90/attachment.html>
> 
> ------------------------------
> 
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom
> 
> 
> End of FOM Digest, Vol 168, Issue 14
> ************************************
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20161223/d7cb45e9/attachment-0001.html>