[FOM] LaTeX code for "truth value of ..."
Adam Kolany
dr.a.kolany at wp.pl
Fri Dec 23 17:52:15 EST 2016
$$[\![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
More information about the FOM
mailing list