[FOM] LaTeX code for "truth value of ..."
Daniel Leivant
leivant at indiana.edu
Fri Dec 23 06:44:33 EST 2016
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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20161223/dce04204/attachment-0001.html>
More information about the FOM
mailing list