[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