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

Lukasz T. Stepien sfstepie at cyf-kr.edu.pl
Fri Dec 23 07:29:32 EST 2016

 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

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>

More information about the FOM mailing list