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