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

[Alasdair Urquhart]

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
> 
> 
>