\documentclass[12pt]{article}
\usepackage[margin=1in]{geometry}
\usepackage{amsmath,amsthm,amssymb}
\newcommand{\N}{\mathbb{N}}
\newcommand{\Z}{\mathbb{Z}}
\newenvironment{theorem}[2][Theorem]{\begin{trivlist}
\item[\hskip \labelsep {\bfseries #1}\hskip \labelsep {\bfseries #2.}]}{\end{trivlist}}
\newenvironment{lemma}[2][Lemma]{\begin{trivlist}
\item[\hskip \labelsep {\bfseries #1}\hskip \labelsep {\bfseries #2.}]}{\end{trivlist}}
\newenvironment{exercise}[2][Exercise]{\begin{trivlist}
\item[\hskip \labelsep {\bfseries #1}\hskip \labelsep {\bfseries #2.}]}{\end{trivlist}}
\newenvironment{problem}[2][Problem]{\begin{trivlist}
\item[\hskip \labelsep {\bfseries #1}\hskip \labelsep {\bfseries #2.}]}{\end{trivlist}}
\newenvironment{question}[2][Question]{\begin{trivlist}
\item[\hskip \labelsep {\bfseries #1}\hskip \labelsep {\bfseries #2.}]}{\end{trivlist}}
\newenvironment{corollary}[2][Corollary]{\begin{trivlist}
\item[\hskip \labelsep {\bfseries #1}\hskip \labelsep {\bfseries #2.}]}{\end{trivlist}}
\begin{document}
\title{Weekly Homework 1}
\author{Ian Housman\\
MTH 311: Introduction to Modern Mathematics}
\maketitle
\begin{theorem}{x.yz}
Delete this text and write theorem statement here.
\end{theorem}
\begin{proof}
Blah, blah, blah. The square box means that the proof is finished. It's part of the ``proof'' environment defined in this document. You can use it or not, up to you.
\end{proof}
\begin{theorem}{x.yz}
When typing math, put a dollar sign before and after, as in ``Let $n\in \Z$'' (check the source code here, as the dollar signs don't show up in the final document). \textbf{\emph{This is really important!}} Your document won't look or work right if you don't.
\end{theorem}
\begin{proof}
Blah, blah, blah.
\end{proof}
\begin{theorem}{How to TeX a Truth Table}
You may want to know how to typeset the following symbols. They are included for reference, but remember you can always Google what you want to know. Often, searching for ``latex math conjunction'' (or whatever it is you want to find) will do the trick.
\end{theorem}
This is a truth table:
\[
\begin{tabular}{| c | c | c |} \hline
$A$ & $B$ & $A \wedge B$ \\ \hline\hline
T & T & T \\
T & F & F \\
F & T & F \\
F & F & F \\ \hline
\end{tabular}
\]
These are some commonly-used logic symbols:
\begin{center}
$A \vee B$, $\neg A$, $\neg (A \wedge B)$, $\neg A \wedge \neg B$, $A \implies B$, $P \iff Q$.
\end{center}
When you are happy with your work, do the following:
\begin{enumerate}
\item Click ``Save'' above
\item Click ``PDF'' above
\item Download your PDF document
\item Upload your PDF document to the appropriate D2L dropbox
\end{enumerate}
\end{document}