for subject-specific typesetting involving logic notation.

learn more… | top users | synonyms

0
votes
0answers
27 views

Symbol for None/Null/undefined variables that are not sets

I am trying to describe is the "Null" or "None" value commonly found in programming languages. Is there a symbol that is commonly used for this, such as a Null/None symbol? For space reasons I'd ...
0
votes
0answers
96 views

lplfitch package : Add line numbering on the left

I am using the package lplfitch to typeset natural deduction proofs in Fitch style. I would like to number the lines on the left side of the vertical bar instead of on the left of the formula? ...