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

[Kenny Easwaran]

I've usually just used two square brackets with a command bringing them
closer together so that they look like a single symbol, as described in
this page under the heading of "semantics":

http://www.essex.ac.uk/linguistics/external/clmt/latex4ling/

Kenny Easwaran


On Thu, Dec 22, 2016 at 8:39 PM 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
>
> --
Sent from Gmail Mobile
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20161223/446a5d9b/attachment-0001.html>