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

[Lukasz T. Stepien]

 Dear Prof. Lubarsky 

   I have tried: $\mid [ \varphi ] \mid$, and after compiling this
instruction, I have got: |[ φ ]|  . 

   By the way, I wish you and all FOM Debaters, Merry Christmas and All
The Best in New Year 2017. 

                                                                        
      Best Regards 

                                                                        
    Lukasz T. Stepien  

---

Lukasz T. Stepien

The Pedagogical University of Cracow
Institute of Computer Science,
ul. Podchorazych 2
30-084 Krakow
Poland

tel. +48 12 662-78-54, +48 12 662-78-44

The URL  http://www.ltstepien.up.krakow.pl

On 2016-12-22 23:38, Robert Lubarsky 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/5a95a8b1/attachment-0001.html>