[FOM] LaTeX code for "truth value of ..."
Alasdair Urquhart
urquhart at cs.toronto.edu
Thu Dec 22 22:18:04 EST 2016
You can insert some negative space between two square brackets.
At least, that's what I do.
Alasdair
On Thu, 22 Dec 2016, 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
>
>
>
More information about the FOM
mailing list