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

Robert Lubarsky Lubarsky.Robert at comcast.net
Thu Dec 22 17:38:59 EST 2016

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>

More information about the FOM mailing list