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

[Adam Kolany]

$$[\![v]\!]$$


or


\def\VL#1{[\![#1]\!]}

....


... $\VL{x\in\mathbf{B}}$ ...



regards,





W dniu 23.12.2016 o 12:44, Daniel Leivant pisze:
> The following is a workaround which does the job in most cases, though the
> backspacing is generally stretched or condensed by tex in favor of 
> optimal linebreaks.
>
> \newcommand{\rsem}{]\hspace{-0.5mm}]} % semantic double bracket (right)
> \newcommand{\lsem}{[\hspace{-0.5mm}[} % semantic double bracket (left)
>
>
> On 12/22/2016 05:38 PM, 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
>
>
>
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom