I'm using lplfitch.sty to produce Fitch-style natural deduction proofs. I want to use different symbols from the ones that are predefined. Specifically, I want to use \sim instead of \neg for negation, and \supset instead of \rightarrow for the conditional. How can I change these?

1 Answer 1


The command you don't like is defined with a simple \newcommand:


Just modify it definitions to suit your tastes:


You'll next want to redefine \lnot:


(note that \mathord is necessary as \sim is considered a binary relation symbol otherwise).




$\uni{x}{\exi{y}{(P(x)\lif \lnot Q(x,y))}}$


enter image description here

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.