[FOM] LaTeX code for "truth value of ..."
Alexander E. Gutman
gutman at math.nsc.ru
Thu Dec 22 22:16:11 EST 2016
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
More information about the FOM
mailing list