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

Dieter Spreen spreen at math.uni-siegen.de
Fri Dec 23 05:33:10 EST 2016


Hi Bob,

I always use my own command

\newcommand{\semantik}[1]{[\![#1]\!]}

Dieter Spreen


> Am 22.12.2016 um 23:38 schrieb Robert Lubarsky <lubarsky.robert at comcast.net>:
> 
> 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 <mailto:FOM at cs.nyu.edu>
> http://www.cs.nyu.edu/mailman/listinfo/fom <http://www.cs.nyu.edu/mailman/listinfo/fom>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20161223/bbae7f58/attachment-0001.html>


More information about the FOM mailing list