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

[Robert Lubarsky]

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-0001.html>