[FOM] LaTeX code for "truth value of ..."
Sandro Skansi
skansi.sandro at gmail.com
Fri Dec 23 00:33:07 EST 2016
Dear Robert,
I always use this for finiding the simbol code I need. http://detexify.kirelabs.org/classify.html
I hope it helps!
Sandro
Sent from my iPhone
> On 22 Dec 2016, at 23: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/e4002fbe/attachment.html>
More information about the FOM
mailing list