use strayman

diff --git a/article.tex b/article.tex
index 4e4a75e3da95ab850d6d64d180225ebc41c8fbc0..ef8a9853d036ed6813d572af59f57714170ed976 100644 (file)
--- a/article.tex
+++ b/article.tex
@@ -1,4 +1,5 @@
-\documentclass[a4paper]{article}
+\documentclass[a4paper]{strayman}
+\let\numberwithin=\notdef

 \usepackage{MnSymbol}
 \usepackage{stmaryrd}
 \usepackage{slashed}
 \usepackage{MnSymbol}
 \usepackage{stmaryrd}
 \usepackage{slashed}


@@ -36,8 +37,6 @@
 
 \renewcommand{\implies}{\Rightarrow}
 
 
 \renewcommand{\implies}{\Rightarrow}
 

-\setlength{\parindent}{0pt}
-

 \begin{document}
 
 \section{Notation}
 \begin{document}
 
 \section{Notation}