Questions tagged [logicproof]
The logicproof tag has no usage guidance.
0
votes
0answers
21 views
Using \equiv causes my font to become italicized and doesn't allow spacing [duplicate]
I am trying to write a logic equation with symbols and when I use \equiv everything afterwards is italics and does not allow spacing, even if I go to a new line.
Example:
p \to q \equiv \lnot q \to ...
1
vote
1answer
29 views
How to make logicproof do page break automatically?
A minimal working sample is as follows:
\documentclass{article}
\usepackage{lipsum}
\usepackage{logicproof}
\begin{document}
\lipsum[1]
\begin{logicproof}{0}
statement & justification \\
...
2
votes
1answer
68 views
How to make the lines numbers of logic proofs be added paratheses?
A MWE is as follows:
\documentclass{article}
\usepackage{amsmath,amsfonts,amssymb}
\usepackage{logicproof}
\usepackage{etoolbox}
%%%make logic proof lines ragged left%%%%%%%%%%%%%%%%%%%
\patchcmd{\...
