\documentstyle[12pt, timrom]{article}

\title{George's Handy Chart O' Birds}
\author{}
\date{}

\begin{document}

\maketitle

\begin{description}

\item[Mockingbird (defined)] {\bf Mx=xx} (for any bird {\bf x})
\item[Composition \\] 
	\begin{itemize} 
	\item {\bf defined}  {\bf C} composes {\bf A} with {\bf B} if
{\bf Cx = A(Bx))} for any bird {\bf x}.
	\item {\bf Corallary} --- if {\bf Cx = A(B(x))}, then there
exists a bird {\bf D} such that {\bf Dx = A(B(C(x))) }.

	\end{itemize}

\item[Fondness (defined)] {\bf A} is fond of {\bf B} if {\bf AB = B}. \\
	NOTE:  a bird is {\bf Egocentric} if it is fond of itself, i.e.,
{\bf xx = x}.

\item[Agreement (defined)] 
	\begin{itemize}
 	\item {\bf A} and {\bf B} agree on a
{\em particular} {\bf x}, if {\em for that} {\bf x}, {\bf Ax = Bx}.
	\item {\bf A} is called {\bf Agreeable} if for every {\bf B},
there is an {\bf x} so that {\bf A} and {\bf B} agree on {\bf x}.
	\item NOTE:  if {\bf Cx = A(Bx)} and {\bf C} is agreeable, then
{\bf A} is also agreeable.
	\end{itemize}



\end{description}
\end{document}
