drop mnsymbol, use mathabx

diff --git a/article.tex b/article.tex
index 0a411723ffb858cfa09eb869d6f01831628f1db7..840627459348792bba4c3fbecec830dedb74d743 100644 (file)
--- a/article.tex
+++ b/article.tex
@@ -1,6 +1,6 @@
 \documentclass[a4paper]{strayman}
 \let\numberwithin=\notdef
-\usepackage{MnSymbol}
+\usepackage{mathabx}
 \usepackage{stmaryrd}
 \usepackage{slashed}
 \usepackage{txfonts}
@@ -15,11 +15,11 @@
 \newcommand{\isin}{\sqsubseteq}
 
 \newcommand{\nothaspatch}{{%
-  \declareslashed{}{\sslash}{-0.04}{0}{\Sqsupset}\slashed{\Sqsupset}}}
+  \declareslashed{}{\sslash}{-0.04}{0}{\sqSupset}\slashed{\sqSupset}}}
 \newcommand{\notpatchisin}{{%
-  \declareslashed{}{\sslash}{-0.04}{0}{\Sqsubset}\slashed{\Sqsubset}}}
-\newcommand{\haspatch}{\Sqsupset}
-\newcommand{\patchisin}{\Sqsubset}
+  \declareslashed{}{\sslash}{-0.04}{0}{\sqSubset}\slashed{\sqSubset}}}
+\newcommand{\haspatch}{\sqSupset}
+\newcommand{\patchisin}{\sqSubset}
 
 \newcommand{\set}[1]{\mathbb #1}
 \newcommand{\pa}[1]{\varmathbb #1}
@@ -36,7 +36,7 @@
 \newcommand{\hasparents}{>_{\mkern-7.0mu _1}}
 \newcommand{\areparents}{<_{\mkern-14.0mu _1\mkern+5.0mu}}
 
-\renewcommand{\implies}{\Rightarrow}
+\newcommand{\implies}{\Rightarrow}
 
 \newcommand{\pancs}[2]{{\mathcal A} ( #1 , #2 ) }
 \newcommand{\pends}[2]{{\mathcal E} ( #1 , #2 ) }