Commit 3530e5b7 authored by Niles Johnson's avatar Niles Johnson

initial commit

parents
LATEX STARTER AND ADVANCED DEMO
--
version 2.0 2015-06
DESCRIPTION
-----------
This repository contains a latex starter template for first-time users
of latex. It also contains an "advanced" demo giving package
recommendations for moderate-to-advanced latex users.
LICENSE
--
This work is in the public domain.
CHANGELOG
--
A version of the latex starter was first written for REU students at
the University of Chicago. Niles Johnson added the advanced demo in
June 2015.
This diff is collapsed.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Part of Niles Johnson's latex setup
%% This document is in the public domain (2015)
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%
%% Stuff we only use in draft mode
%% v. 1.0 2015-06-24
%%
%%
%% show label keys in margin
%%
\providecommand*\showkeyslabelformat[1]{%
\makebox[2cm][l]{\normalfont\tiny\ttfamily #1}
}
\usepackage[notref,notcite]{showkeys}
%%
%% extra right margin for notes
%% (does not affect text width or height)
%%
\geometry{left=1.1in}
%%
%% watermark
%%
\ifpdf
\usepackage{draftwatermark}
\SetWatermarkScale{0.3}
\SetWatermarkAngle{90}
\SetWatermarkLightness{.8}
%%
%% set watermark
%% uncomment second line
%% for no watermark
%%
\SetWatermarkText{\shortstack{DRAFT \theyear-\themonth-\theday\ \thehour:\theminute:\thesecond\ \thetimezone\\\vspace{150pc}}}
%\SetWatermarkText{}
\fi
%%
%% todo notes
%%
\ifpdf
\else
\PassOptionsToPackage{dvistyle}{todonotes}
\fi
\usepackage[
%disable=true, % uncomment for disabling
obeyDraft,
color=orange!80, % default color
bordercolor=black,
textwidth=3cm,
textsize=small,
colorinlistoftodos]
{todonotes}
%% the following is necessary for compatibility with amsart
\makeatletter \providecommand\@dotsep{5}
\makeatother
%% for compatibility with amsart:
%% use \amsartlistoftodos to make list of todos
\newcommand{\amsartlistoftodos}{\makeatother \listoftodos\relax}
%% use different colors for different collaborators or purposes
%% N.J. notes: with/without line to margin, and inline
\newcommand{\njnote}[1]{\todo[color=green!40,linecolor=green!40!black,size=\tiny]{#1}}
\newcommand{\njmpar}[1]{\todo[noline,color=green!40,linecolor=green!40!black,
size=\tiny]{#1}}
\newcommand{\njnoteil}[1]{\ \todo[inline,color=green!40,linecolor=green!40!black,size=\normalsize]{#1}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Part of Niles Johnson's latex setup
%% This document is in the public domain (2015)
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%
%% theorem and numbering declarations
%% v. 6.0 2015-06-24
%%
\usepackage{amsmath,amsthm}
\usepackage{float}
%\usepackage{subfig,epsfig}
%% enumeration style
\renewcommand{\theenumi}{\textit{\roman{enumi}}}
\renewcommand{\labelenumi}{\theenumi.}
\renewcommand{\theenumii}{\textit{\alph{enumii}}}
\renewcommand{\labelenumii}{\theenumii)}
%% Makes equations appear as secno.eqno
\numberwithin{equation}{section} %% Comment out for sequentially-numbered
\numberwithin{figure}{section} %% Comment out for sequentially-numbered
\theoremstyle{plain} % bold environment name, italic text
\newtheorem{thm}{Theorem}[section]
\newtheorem*{thm*}{Theorem}
\newtheorem{prop}[thm]{Proposition}
\newtheorem*{prop*}{Proposition}
\newtheorem{lem}[thm]{Lemma}
\newtheorem{cor}[thm]{Corollary}
\newtheorem{conj}[thm]{Conjecture}
\theoremstyle{definition} % bold environment name, plain text
\newtheorem{defn}[thm]{Definition}
\newtheorem{defns}[thm]{Definitions}
\newtheorem{question}[thm]{Question}
\newtheorem{example}[thm]{Example}
\newtheorem{exercise}[thm]{Exercise}
\newtheorem{notation}[thm]{Notation}
\newtheorem{notn}[thm]{Notation}
\theoremstyle{remark} % italic environment name, plain text
\newtheorem{rmk}[thm]{Remark}
\newtheorem*{note}{Note}
%% This makes equations follow the theorem counter
\makeatletter\let\c@equation\c@thm\makeatother
%% This makes figures follow the theorem counter
\makeatletter\let\c@figure\c@thm\makeatother
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Part of Niles Johnson's latex setup
%% This document is in the public domain (2015)
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%
%% page setup stuff:
%% geometry, datetime, hyperref, todonotes, cleverref
%%
%% v. 5.0 2015-06-24
%%
\usepackage[T1]{fontenc}
\usepackage[english]{babel}
\usepackage{stackrel} %Better stackrel includes superscripts and subscripts
\usepackage{ifdraft} % special commands for draft mode
\usepackage{ifpdf}
\usepackage{xcolor}
%% to omit section from amsart table of contents:
%% put the following just before the
%% (sub)section command
%% \addtocontents{toc}{\SkipTocEntry}
%%
\DeclareRobustCommand{\SkipTocEntry}[5]{}
\usepackage{geometry}
\geometry{verbose, textheight=9in, textwidth=5.7in}
\savegeometry{default}
\usepackage[short, nodayofweek, level]{datetime}
\renewcommand{\dateseparator}{-}
%% time with timezones
\usepackage{etoolbox}
\def\parsepdfdatetime#1:#2#3#4#5#6#7#8#9{%
\def\theyear{#2#3#4#5}%
\def\themonth{#6#7}%
\def\theday{#8#9}%
\parsepdftime
}
\def\parsepdftime#1#2#3#4#5#6#7\endparsepdfdatetime{%
\def\thehour{#1#2}%
\def\theminute{#3#4}%
\def\thesecond{#5#6}%
\ifstrequal{#7}{Z}
{%
\def\thetimezonehour{+00}%
\def\thetimezoneminute{00}%
}%
{%
\parsepdftimezone#7%
}%
}
\def\parsepdftimezone#1'#2'{%
\def\thetimezonehour{#1}%
\def\thetimezoneminute{#2}%
}
\newcommand*{\thetimezone}{\thetimezonehour:\thetimezoneminute}
% get current time/date
\expandafter\parsepdfdatetime\pdfcreationdate\endparsepdfdatetime
%% unicode
\usepackage{ucs} % for unicode symbols
\usepackage[utf8x]{inputenc} % for unicode symbols
% you have to pre-render your unicode symbols
% if your viewer supports unicode, you should see that the first
% symbol is an infinity sign, followed by others
\PrerenderUnicode{}
\PrerenderUnicode{η}
\PrerenderUnicode{ε}
\PrerenderUnicode{Γ}
\usepackage[unicode=true, pdfusetitle,
bookmarks=true,bookmarksnumbered=false,
breaklinks=false,
backref=false,
colorlinks=true,
linkcolor=blue!70!black,
citecolor=black,
urlcolor=blue!78!red,
final
]{hyperref}
\usepackage{bookmark}
%%
%% cross references
%%
\usepackage[capitalise]{cleveref}
\newcommand{\fref}{\cref}
\newcommand{\Fref}{\Cref}
\newcommand{\prettyref}{\cref}
\newcommand{\newrefformat}[2]{}
% Cleveref definitions
\crefname{lem}{Lemma}{Lemmas}
\crefname{thm}{Theorem}{Theorems}
\crefname{defn}{Definition}{Definitions}
\crefname{notn}{Notation}{Notations}
\crefname{construction}{Construction}{Constructions}
\crefname{prop}{Proposition}{Propositions}
\crefname{rmk}{Remark}{Remarks}
\crefname{cor}{Corollary}{Corollaries}
\crefname{figure}{Figure}{Figures}
\crefname{equation}{Display}{Displays} % give 'equation' a more general name
\crefname{eq}{Display}{Displays}
\crefname{eqn}{Display}{Displays}
% This file was created with JabRef 2.10b2.
% Encoding: ISO8859_1
@Book{Ada1974Stable,
Title = {Stable {H}omotopy and {G}eneralised {H}omology},
Author = {Adams, J. Frank},
Publisher = {University of Chicago Press},
Year = {1974},
Series = {Chicago Lectures in Mathematics}
}
@Book{EKMM1997Rings,
Title = {Rings, modules, and algebras in stable homotopy theory},
Author = {Elmendorf, A. D. and Kriz, I. and Mandell, M.~A. and May, J.~P.},
Publisher = {American Mathematical Society},
Year = {1997},
Address = {Providence, RI},
Note = {With an appendix by M. Cole},
Series = {Mathematical Surveys and Monographs},
Volume = {47},
ISBN = {0-8218-0638-6},
Mrclass = {55N20 (19D10 19D55 55P42 55T25)},
Mrnumber = {MR1417719 (97h:55006)},
Mrreviewer = {Donald M. Davis},
Pages = {xii+249}
}
@Book{Eve1991Cohomology,
Title = {The Cohomology of Groups},
Author = {Evens, L.},
Publisher = {The Clarendon Press Oxford University Press},
Year = {1991},
Address = {New York},
Note = {Oxford Science Publications},
Series = {Oxford Mathematical Monographs},
ISBN = {0-19-853580-5},
Mrclass = {20J06 (20-02)},
Mrnumber = {MR1144017 (93i:20059)},
Mrreviewer = {U. Stammbach},
Pages = {xii+159}
}
@Article{Eve1961Cohomology,
Title = {The Cohomology Ring of a Finite Group},
Author = {Evens, Leonard},
Journal = {Trans. Amer. Math. Soc.},
Year = {1961},
Pages = {224--239},
Volume = {101},
Fjournal = {Transactions of the American Mathematical Society},
ISSN = {0002-9947},
Mrclass = {18.20},
Mrnumber = {MR0137742 (25 \#1191)},
Mrreviewer = {K. Grant}
}
@Unpublished{GO2012Infinite,
Title = {Infinite loop spaces, and coherence for symmetric monoidal bicategories},
Author = {Gurski, N. and Osorno, A.M.},
Year = {2012},
Arxiv = {1210.1174}
}
@Article{JN2010Complex,
Title = {For Complex Orientations Preserving Power Operations, $p$-typicality is Atypical},
Author = {Niles Johnson and Justin Noel},
Journal = {Topology and its applications},
Year = {2010},
Number = {14},
Pages = {pp.~2271-2288},
Volume = {157},
Arxiv = {0910.3187},
Comments = {19 pages},
Doi = {10.1016/j.topol.2010.06.007},
Eprint = {0910.3187},
Mrclass = {55P43 (55P42)},
Mrnumber = {2670503 (2011g:55009)},
Mrreviewer = {Yutaka Hemmi},
Oai2identifier = {0910.3187},
Owner = {justin},
Timestamp = {2009.11.16}
}
@Electronic{ATC,
Title = {{AlgTop-Conf}},
Note = {An open list for conference announcements.},
Url = {http://www.nilesjohnson.net/algtop-conf/},
Key = {ATC},
Owner = {niles},
Timestamp = {2010.10.15}
}
@Manual{sage,
Title = {Sage Mathematics Software},
Note = {\url{http://www.sagemath.org}},
Organization = {The Sage Development Team},
Key = {Sage}
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Part of Niles Johnson's latex setup
%% This document is in the public domain (2015)
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% This file was created with JabRef 2.9.2.
% Encoding: MacRoman
@BOOK{Ada74,
title = {Stable {H}omotopy and {G}eneralised {H}omology},
publisher = {University of Chicago Press},
year = {1974},
author = {Adams, J. Frank},
series = {Chicago Lectures in Mathematics}
}
@BOOK{EKMM97,
title = {Rings, modules, and algebras in stable homotopy theory},
publisher = {American Mathematical Society},
year = {1997},
author = {Elmendorf, A. D. and Kriz, I. and Mandell, M.~A. and May, J.~P.},
volume = {47},
pages = {xii+249},
series = {Mathematical Surveys and Monographs},
address = {Providence, RI},
note = {With an appendix by M. Cole},
isbn = {0-8218-0638-6},
mrclass = {55N20 (19D10 19D55 55P42 55T25)},
mrnumber = {MR1417719 (97h:55006)},
mrreviewer = {Donald M. Davis}
}
@BOOK{Eve91Cohomology,
title = {The Cohomology of Groups},
publisher = {The Clarendon Press Oxford University Press},
year = {1991},
author = {Evens, L.},
pages = {xii+159},
series = {Oxford Mathematical Monographs},
address = {New York},
note = {Oxford Science Publications},
isbn = {0-19-853580-5},
mrclass = {20J06 (20-02)},
mrnumber = {MR1144017 (93i:20059)},
mrreviewer = {U. Stammbach}
}
@ARTICLE{Eve61Cohomology,
author = {Evens, Leonard},
title = {The Cohomology Ring of a Finite Group},
journal = {Trans. Amer. Math. Soc.},
year = {1961},
volume = {101},
pages = {224--239},
fjournal = {Transactions of the American Mathematical Society},
issn = {0002-9947},
mrclass = {18.20},
mrnumber = {MR0137742 (25 \#1191)},
mrreviewer = {K. Grant}
}
@UNPUBLISHED{GO12Infinite,
author = {Gurski, N. and Osorno, A.M.},
title = {Infinite loop spaces, and coherence for symmetric monoidal bicategories},
arxiv = {1210.1174},
year = {2012}
}
@ARTICLE{JoN09b,
author = {Niles Johnson and Justin Noel},
title = {For Complex Orientations Preserving Power Operations, $p$-typicality
is Atypical},
journal = {Topology and its applications},
year = {2010},
volume = {157},
pages = {pp.~2271-2288},
number = {14},
arxiv = {0910.3187},
comments = {19 pages},
doi = {10.1016/j.topol.2010.06.007},
eprint = {0910.3187},
mrclass = {55P43 (55P42)},
mrnumber = {2670503 (2011g:55009)},
mrreviewer = {Yutaka Hemmi},
oai2identifier = {0910.3187},
owner = {justin},
timestamp = {2009.11.16},
}
@ELECTRONIC{ATC,
title = {{AlgTop-Conf}},
note = {An open list for conference announcements.},
url = {http://www.nilesjohnson.net/algtop-conf/},
key = {ATC},
owner = {niles},
timestamp = {2010.10.15}
}
@MANUAL{sage,
title = {Sage Mathematics Software},
organization = {The Sage Development Team},
note = {\url{http://www.sagemath.org}},
key = {Sage}
}
This diff is collapsed.
\providecommand{\bysame}{\leavevmode\hbox to3em{\hrulefill}\thinspace}
\providecommand{\MR}{\relax\ifhmode\unskip\space\fi MR }
% \MRhref is called by the amsart/book/proc definition of \MR.
\providecommand{\MRhref}[2]{%
\href{http://www.ams.org/mathscinet-getitem?mr=#1}{#2}
}
\providecommand{\doi}[1]{%
doi:/\href{http://dx.doi.org/#1}{#1}}
\providecommand{\arxiv}[1]{%
arXiv:\href{http://arxiv.org/abs/#1}{#1}}
\providecommand{\href}[2]{#2}
\begin{thebibliography}{EKMM97}
\bibitem[Ada74]{Ada1974Stable}
J.~F. Adams, \emph{Stable {H}omotopy and {G}eneralised {H}omology}, Chicago
Lectures in Mathematics, University of Chicago Press, 1974.
\bibitem[ATC]{ATC}
\emph{{AlgTop-Conf}}, An open list for conference announcements.
\bibitem[EKMM97]{EKMM1997Rings}
A.~D. Elmendorf, I.~Kriz, M.~A. Mandell, and J.~P. May, \emph{Rings, modules,
and algebras in stable homotopy theory}, Mathematical Surveys and Monographs,
vol.~47, American Mathematical Society, Providence, RI, 1997, With an
appendix by M. Cole.
\bibitem[Eve61]{Eve1961Cohomology}
L.~Evens, \emph{The cohomology ring of a finite group}, Trans. Amer. Math. Soc.
\textbf{101} (1961), 224--239.
\bibitem[Eve91]{Eve1991Cohomology}
L.~Evens, \emph{The cohomology of groups}, Oxford Mathematical Monographs, The
Clarendon Press Oxford University Press, New York, 1991, Oxford Science
Publications.
\bibitem[GO12]{GO2012Infinite}
N.~Gurski and A.~Osorno, \emph{Infinite loop spaces, and coherence for
symmetric monoidal bicategories}, 2012. \arxiv{1210.1174}
\bibitem[JN10]{JN2010Complex}
N.~Johnson and J.~Noel, \emph{For complex orientations preserving power
operations, $p$-typicality is atypical}, Topology and its applications
\textbf{157} (2010), no.~14, pp.~2271--2288.
\doi{10.1016/j.topol.2010.06.007} \arxiv{0910.3187}
\bibitem[Sage]{sage}
The Sage Development Team, \emph{Sage mathematics software},
\url{http://www.sagemath.org}.
\end{thebibliography}
This diff is collapsed.
\select@language {english}
\contentsline {section}{\tocsection {}{1}{General comments}}{1}{section.1}
\contentsline {subsection}{\tocsubsection {}{1.1}{latexmk}}{2}{subsection.1.1}
\contentsline {subsection}{\tocsubsection {}{1.2}{text editor}}{2}{subsection.1.2}
\contentsline {subsection}{\tocsubsection {}{1.3}{version control}}{2}{subsection.1.3}
\contentsline {subsection}{\tocsubsection {}{1.4}{$\Gamma $ and other tex in section headings}}{2}{subsection.1.4}
\contentsline {section}{\tocsection {}{2}{Cleveref}}{2}{section.2}
\contentsline {section}{\tocsection {}{3}{About text in tex}}{3}{section.3}
\contentsline {subsection}{\tocsubsection {}{3.1}{Symbols}}{3}{subsection.3.1}
\contentsline {subsection}{\tocsubsection {}{3.2}{fonts}}{3}{subsection.3.2}
\contentsline {subsection}{\tocsubsection {}{3.3}{Further comments on text}}{3}{subsection.3.3}
\contentsline {subsection}{\tocsubsection {}{3.4}{Punctuation}}{3}{subsection.3.4}
\contentsline {section}{\tocsection {}{4}{TikZ for more complex drawings}}{3}{section.4}
\contentsline {section}{\tocsection {}{5}{todonotes}}{3}{section.5}
\contentsline {section}{\tocsection {}{6}{Bibliography}}{4}{section.6}
\contentsline {section}{\tocsection {}{7}{Wait, there's more!}}{4}{section.7}
\contentsline {section}{\tocsection {}{}{Acknowledgments}}{4}{section*.6}
\contentsline {section}{\tocsection {}{}{References}}{4}{section*.7}
\documentclass[11pt,oneside,draft]{amsart}
\usepackage{fouriernc} % Fourier fonts instead of Computer Modern
\usepackage{Environments} % thm, prop, etc.
\usepackage{Definitions} % macros
\usepackage{PageSetup} % general setup
%%
%% Stuff for drafts only
%%
\ifdraft{
%% uncomment to manually disable todonotes
%\PassOptionsToPackage{disable}{todonotes}
%% uncomment to manually disable watermark
%\PassOptionsToPackage{nostamp}{draftwatermark}
%% uncomment to manually disable label keys
%\PassOptionsToPackage{final}{showkeys}
%% watermark, todonotes, geometry
\usepackage{DraftSetup}
%% uncomment to restore default geometry
%% defined in PageSetup
%\loadgeometry{default}
} % else (not draft)
{}
%%
%% Document-specific stuff
%%
%% document-specific options for hyperref
\hypersetup{
pdfkeywords={latex starter,template},
pdfauthor={Niles Johnson},
}
%% MSC
%% http://www.ams.org/mathscinet/msc/msc2010.html
\subjclass[2010]{55P42}
% 55P42 Stable homotopy theory, spectra
% 55N15 K-theory
% 18D10 Monoidal categories
% 18D05 Double categories, 2-categories, bicategories
% 19D23 Symmetric monoidal categories (in K-theory)
%
\title{A Latex package demo}
\author{Your Name}
\address{Your Address}
\email{[email protected]}
\urladdr{\url{http://nilesjohnson.net}}
\date{\today}
\begin{document}
\begin{abstract}
This is a latex starter for It is based on the template developed for the REU
program at the University of Chicago.
\end{abstract}
\maketitle
\tableofcontents
\section{What does the table of contents command do?}
The table of contents command will automatically make a contents; if
your document is short, you probably don't need a table of contents.
You must run tex at least twice for this to work.
\section{How do the environment commands work?}\label{env-commands}
``Environments'' are commands that are given using the \verb|\begin{}|
and \verb|\end{}| syntax. In the preamble, you can see we've defined
a bunch of theorem-type environments, including, for example ``\texttt{defn}'' To get a definition,
you type:
\begin{defn} This is how to define a definition.
\end{defn}
And for a theorem and its proof you would type:
\begin{thm}\label{atheorem}
This is the statement of a theorem.
\end{thm}
\begin{proof}
And this shows that the statement is correct.
\end{proof}
Note that the numbering is taken care of automatically, and that we've predefined a bunch of these sorts of environments to take care lemmas, corollaries and such in the header.
\subsection{Displaying equations}
Another useful kind of enviroment is the equation environment. Equations
get numbered in sequence with statements, as for example
\begin{equation} e = mc^2
\end{equation}
Note if you do not want a numbered equation, you can use the
environment ``\texttt{equation*}''
like so:
\begin{equation*}
e=mc^2
\end{equation*}
For multiline equations, use ``\texttt{align}'' or