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

[Alexander E. Gutman]

Robert Lubarsky (RL) 23.12.2016 (5:38):

RL> In forcing and related areas, often the symbol which is like |[ - ]| (don’t know how else to type it)
RL> is used for the truth value,  as in |[ phi ]| meaning the truth value of phi as a member
RL> of the Boolean value used in the forcing  (or the truth value as a member of a Heyting algebra,
RL> for Heyting-valued models, and so on). What is the latex code for that symbol?

I typeset |[...]| as $\<...\>$ by using the following definitions:

  \def\<{\mathopen{[\mkern-3mu[}}
  \def\>{\mathclose{]\mkern-3mu]}}

-- 
Alexander Gutman