
% Use inter-paragraph spacing rather than indenting the start of each
% paragraph. Works better with many very short paragraphs.
\usepackage{parskip}

\usepackage{a4wide}
\usepackage{graphics}
\usepackage{mathtools}
\usepackage{stmaryrd}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{wasysym}
\usepackage{mathrsfs}

% For axiom etc
\usepackage[amsmath,thmmarks]{ntheorem}
{
\theoremstyle{break}
\theorembodyfont{\rmfamily}
\theoremindent0.5cm
\newtheorem{Iaxiom}{Axiom}[section]
\newtheorem{Iconjecture}{Conjecture}[section]
\newtheorem{Idefinition}{Definition}[section]
\theoremstyle{nonumberbreak}
\theorembodyfont{\itshape}
\newtheorem{Iaside}{Aside}
\newtheorem{Iexplanation}{Explanation}
}
% \newenvironment{axiom}[1]{\par\noindent\textbf{Axiom}: {#1}\par}{}
\newenvironment{rationale}{\par\noindent\textbf{Rationale}\par}{}
\setlength{\theorempreskipamount}{\bigskipamount}
% Use \start{axiom}{name} rather than \begin{Iaxiom}[name], and get a
% axiom:name label for free!
\newcommand{\start}[2]{\begin{I#1}[#2]\label{#1:#2}}


\input{mathlig}

\setlength{\overfullrule}{2pt}    % Highlights overfull boxes in the printout
\showboxdepth=3\showboxbreadth=99 % makes overfull warnings clearer.

\newcommand{\inverted}{{^{-1}}}
\newcommand{\seq}[1]{\bar{#1}}

\newcommand{\ie}{i.e.\null}
\newcommand{\eg}{e.g.\null}
\newcommand{\abetc}{etc.\null}

