\documentclass{article}
\usepackage{graphicx}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{enumerate}

\usepackage{hyperref}

\usepackage{ifthen}
\usepackage{ulem} % for strikethrough \sout{...} command
\usepackage{color}

\usepackage{wasysym}

\setlength{\unitlength}{0.1in}

\setlength{\oddsidemargin}{-0.25in}
\setlength{\evensidemargin}{-0.25in}
\setlength{\topmargin}{-0.25in}
\setlength{\headheight}{0.0in}
\setlength{\headsep}{0.0in}
\setlength{\topskip}{0.0in}
\setlength{\textheight}{9.5in}
\setlength{\textwidth}{7in}

\newcommand{\bdot}{\, {\scriptstyle{\bullet}} \,}
\newcommand{\B}[1]{{\bf {#1}}}
\newcommand{\la}{\langle}
\newcommand{\ra}{\rangle}

\newcommand{\myspace}{\parbox[c][0.25in]{0.25in}{\hfill}}
\newcommand{\varspace}[2]{\mbox{\parbox[c][#1]{#2}{\hfill}}}
\newcommand{\force}{{\noindent $\mbox{\;}$}}

\newcommand{\diagquotient}[2]{\displaystyle{{#1 \atop \;}\hspace*{-0.1in} \mbox{\put(0,0){\line(2,1){2}}} \hspace*{0.1in} {\; \atop #2}}}


\newcommand{\F}{\mathbb{F}}
\newcommand{\E}{\mathbb{E}}
\newcommand{\K}{\mathbb{K}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\C}{\mathbb{C}}

\newcommand{\LEMMA}{\vspace{0.05in} \noindent \fbox{\large\bf Lemma:}  }
\newcommand{\COR}{\vspace{0.05in} \noindent \fbox{\large\bf Corollary:}  }
\newcommand{\DEF}{\vspace{0.05in} \noindent \fbox{\large\bf Definition:}  }
\newcommand{\THM}{\vspace{0.05in} \noindent \fbox{\large\bf Theorem:}  }
\newcommand{\EX}{\vspace{0.05in} \noindent \fbox{\large\bf Example:}  }
\newcommand{\bproof}{\vspace{0.1in} \noindent {\bf Proof:} }
\newcommand{\eproof}{$\blacksquare$ \vspace{0.05in}}

\begin{document}


% Comments start with a percent sign.

% If you remove the "%" below,  page numbers won't be shown.
%\pagestyle{empty}

\noindent
\parbox{1.25in}{\bf Math 3220}
\hfill {\large \bf Homework \#XX Problem \#XX Revision} \hfill
\parbox{1.25in}{\bf \hfill Jan. $44^\mathrm{th}$, 2525}

\vspace{0.2in}

\noindent {\bf\large Name:} \underline{\qquad\sc\large This is my fabulous name! \qquad}

\vspace{0.2in}

\begin{description}
\item[Homework \#XX Problem \#XX] Let $\alpha \in \mathbb{K}$. Prove that Giraffes are NP-complete.\footnote{I should start my revision by restating the problem.}

\bproof  The ``\textbackslash{}bproof'' command is one that I've made up. You can see a bunch of these defined right before the ``\textbackslash{}begin\{document\}''.

It is self evident that Giraffes are NP-complete. My proof is done.
\eproof

\end{description}

Some things you might find useful\dots

\begin{itemize}
\item this
\item is
\item a 
\item bulleted
\item list
\end{itemize}

\begin{enumerate}
\item a numbered
\item list
\end{enumerate}

\begin{enumerate}[(a)]
\item letter
\item list
\item for Roman numerals you could use ``\textbackslash{}begin\{enumerate\}[i.]'' or ``\textbackslash{}begin\{enumerate\}[I.]''
\end{enumerate}

Some math stuff like $\sqrt{x}$ $\sqrt[3]{x}$ $\ln(x)$ $\arcsin(x)$ 

$\frac{1}{2}$ vs. $\dfrac{1}{2}$ vs. $$\frac{1}{2}$$

How about $\lim_{n \to \infty} n^3$ vs. $\displaystyle \lim_{n \to \infty} n^3$

$\displaystyle B = \left\{ 5-\dfrac{2}{n} \;\Big|\; n \in \mathbb{N} \right\}$ \qquad {\it Note:} $\mathbb{N} = \mathbb{Z}_{>0} = \{ 1,2,3,\dots \}$

$\mathrm{inf}(S)$

$x \in X$ vs. $x \not\in X$

$a \leq b$, $a \geq b$, $a \neq b$

$\varnothing = \{ \}$

Sometimes we want to {\it italicize} words and sometimes we want them in {\bf boldface}. Sometimes {\sc Small Caps} gets out attention. Maybe you might want to \underline{underline some of your text}.

{\tiny tiny} {\small small} {\normalsize normalsize} {\large large} {\Large Large} {\Huge Huge}

\verb|Verbatim ignores tex commands and symbols like \ # $ etc.|

$x^2 \mbox{ Now I can type text in mathmode } \|y\|$

{\color{blue} You} {\color{red} can change } {\color{green} colors.}

We can create hyperlinks like \href{https://mathsci2.appstate.edu/~cookwj}{This points to my homepage.}

\LaTeX can do a lot.


\end{document}