ar/assignments/preamble.tex

   1 \documentclass{article}
   2
   3 \usepackage{a4wide}
   4 \usepackage{bm}
   5 \usepackage{amsmath}
   6 \usepackage{listings}
   7
   8 \everymath{\displaystyle}
   9
  10 \lstset{%
  11   basicstyle=\footnotesize,
  12   breakatwhitespace=true,
  13   breaklines=true,
  14   keepspaces=true,
  15   numbers=left,
  16   numberstyle=\tiny,
  17   frame=L,
  18   showspaces=false,
  19   showstringspaces=false,
  20   showtabs=false,
  21   tabsize=2
  22 }
  23
  24 \author{Mart Lubbers (s4109503)}
  25 \title{Automated reasoning Assignment 1}
  26 \date{\today}