2009-12-31 02:10:42 +01:00
|
|
|
$if(legacy-header)$
|
|
|
|
$legacy-header$
|
|
|
|
$else$
|
|
|
|
\documentclass{article}
|
|
|
|
\usepackage{amsmath}
|
2009-12-31 02:18:06 +01:00
|
|
|
$if(xetex)$
|
2010-01-02 19:19:04 +01:00
|
|
|
\usepackage{ifxetex}
|
|
|
|
\ifxetex
|
|
|
|
\usepackage{fontspec,xltxtra,xunicode}
|
|
|
|
\defaultfontfeatures{Mapping=tex-text,Scale=MatchLowercase}
|
|
|
|
\else
|
|
|
|
\usepackage[mathletters]{ucs}
|
|
|
|
\usepackage[utf8x]{inputenc}
|
|
|
|
\fi
|
2009-12-31 02:18:06 +01:00
|
|
|
$else$
|
|
|
|
\usepackage[mathletters]{ucs}
|
|
|
|
\usepackage[utf8x]{inputenc}
|
|
|
|
$endif$
|
2009-12-31 22:18:36 +01:00
|
|
|
$if(lhs)$
|
2009-12-31 02:10:42 +01:00
|
|
|
\usepackage{listings}
|
|
|
|
\lstnewenvironment{code}{\lstset{language=Haskell,basicstyle=\small\ttfamily}}{}
|
2009-12-31 22:18:36 +01:00
|
|
|
$endif$
|
2009-12-31 02:10:42 +01:00
|
|
|
$endif$
|
2009-12-31 02:18:14 +01:00
|
|
|
$if(verbatim-in-note)$
|
2009-12-31 02:10:42 +01:00
|
|
|
\usepackage{fancyvrb}
|
2009-12-31 02:18:14 +01:00
|
|
|
$endif$
|
|
|
|
$if(fancy-enums)$
|
2010-03-01 23:24:19 +01:00
|
|
|
% Redefine labelwidth for lists; otherwise, the enumerate package will cause
|
|
|
|
% markers to extend beyond the left margin.
|
|
|
|
\makeatletter\AtBeginDocument{%
|
|
|
|
\renewcommand{\@listi}
|
|
|
|
{\setlength{\labelwidth}{4em}}
|
|
|
|
}\makeatother
|
2009-12-31 02:10:42 +01:00
|
|
|
\usepackage{enumerate}
|
2009-12-31 02:18:14 +01:00
|
|
|
$endif$
|
|
|
|
$if(tables)$
|
2009-12-31 02:10:42 +01:00
|
|
|
\usepackage{array}
|
|
|
|
% This is needed because raggedright in table elements redefines \\:
|
|
|
|
\newcommand{\PreserveBackslash}[1]{\let\temp=\\#1\let\\=\temp}
|
|
|
|
\let\PBS=\PreserveBackslash
|
2009-12-31 02:18:14 +01:00
|
|
|
$endif$
|
|
|
|
$if(strikeout)$
|
2009-12-31 02:10:42 +01:00
|
|
|
\usepackage[normalem]{ulem}
|
2009-12-31 02:18:14 +01:00
|
|
|
$endif$
|
|
|
|
$if(subscript)$
|
2009-12-31 02:10:42 +01:00
|
|
|
\newcommand{\textsubscr}[1]{\ensuremath{_{\scriptsize\textrm{#1}}}}
|
2009-12-31 02:18:14 +01:00
|
|
|
$endif$
|
|
|
|
$if(url)$
|
2009-12-31 02:10:42 +01:00
|
|
|
\usepackage{url}
|
2009-12-31 02:18:14 +01:00
|
|
|
$endif$
|
|
|
|
$if(graphics)$
|
2009-12-31 02:10:42 +01:00
|
|
|
\usepackage{graphicx}
|
2009-12-31 02:18:14 +01:00
|
|
|
$endif$
|
2010-01-05 09:35:55 +01:00
|
|
|
\usepackage[breaklinks=true,unicode=true]{hyperref}
|
|
|
|
\setlength{\parindent}{0pt}
|
|
|
|
\setlength{\parskip}{6pt plus 2pt minus 1pt}
|
2009-12-31 02:10:42 +01:00
|
|
|
$if(numbersections)$
|
|
|
|
$else$
|
|
|
|
\setcounter{secnumdepth}{0}
|
|
|
|
$endif$
|
2009-12-31 02:18:14 +01:00
|
|
|
$if(verbatim-in-note)$
|
|
|
|
\VerbatimFootnotes % allows verbatim text in footnotes
|
|
|
|
$endif$
|
2009-12-31 02:15:50 +01:00
|
|
|
$for(header-includes)$
|
2009-12-31 02:10:42 +01:00
|
|
|
$header-includes$
|
2009-12-31 02:15:50 +01:00
|
|
|
$endfor$
|
2009-12-31 02:10:42 +01:00
|
|
|
|
|
|
|
$if(title)$
|
|
|
|
\title{$title$}
|
|
|
|
$endif$
|
2010-01-02 22:05:10 +01:00
|
|
|
$if(author)$
|
2009-12-31 02:16:00 +01:00
|
|
|
\author{$for(author)$$author$$sep$\\$endfor$}
|
2010-01-02 22:05:10 +01:00
|
|
|
$endif$
|
2009-12-31 02:10:42 +01:00
|
|
|
$if(date)$
|
|
|
|
\date{$date$}
|
|
|
|
$endif$
|
|
|
|
|
|
|
|
\begin{document}
|
2009-12-31 02:18:14 +01:00
|
|
|
$if(title)$
|
2009-12-31 02:10:42 +01:00
|
|
|
\maketitle
|
2009-12-31 02:18:14 +01:00
|
|
|
$endif$
|
2009-12-31 02:10:42 +01:00
|
|
|
|
2010-03-13 05:11:24 +01:00
|
|
|
$for(include-before)$
|
|
|
|
$include-before$
|
|
|
|
|
|
|
|
$endfor$
|
2009-12-31 02:10:42 +01:00
|
|
|
$if(toc)$
|
|
|
|
\tableofcontents
|
2010-01-02 19:19:04 +01:00
|
|
|
|
2009-12-31 02:10:42 +01:00
|
|
|
$endif$
|
|
|
|
$body$
|
2010-03-13 05:11:24 +01:00
|
|
|
$for(include-after)$
|
|
|
|
|
|
|
|
$include-after$
|
|
|
|
$endfor$
|
2009-12-31 02:14:27 +01:00
|
|
|
|
2009-12-31 02:10:42 +01:00
|
|
|
\end{document}
|