Tag Info

New answers tagged

2

The command you don't like is defined with a simple \newcommand: \newcommand*\lif{\rightarrow} Just modify it definitions to suit your tastes: \renewcommand*\lif{\supset} You'll next want to redefine \lnot: \renewcommand*\lnot{\mathord{\sim}} (note that \mathord is necessary as \sim is considered a binary relation symbol otherwise). ...



Top 50 recent answers are included