\documentclass[11pt,leqno]{amsart}

%\usepackage{amsthm}

\newcommand{\pathtotrunk}{./}
\input{text/article_preamble}
\input{text/top_matter}
\input{text/kw_macros}


%\title{Blob Homology}
\title{Sandbox}

\begin{document}
\begin{equation*}
\begin{tikzpicture}
\def\rad{1}
\def\srad{0.75}
\foreach \i in {0, 1, 2} {
	\node(\i) at ($\i*(4.5,0)$) {};
}
\draw (0) circle (\rad);

\draw ($(1)+(1,0)$) circle (\srad);
\draw[fill=white] (1) circle (\rad);

\begin{scope}
\draw[clip] (2) circle (\rad);
\draw ($(2)+(1,0)$) circle (\srad);
\end{scope}

\end{tikzpicture}
\end{equation*}

\begin{equation*}
\begin{tikzpicture}
\node(M) at (0,0) {$M$};
\foreach \angle/\label in {0/K', 45/K'L, 90/L, 135/KL, 180/K, 225/KL', 270/L', 315/K'L'} {
	\node(\label) at (\angle:4) {$\label$};
}
\foreach \label in {K', L, K, L'} {
	\node(\label M) at ($(M)!0.6!(\label)$) {$\label M$};
	\draw[->] (\label M)--(M);
	\draw[->] (\label M)--(\label);
}
\foreach \k in {K, K'} {
	\foreach \l in {L, L'} {
		\node(\k \l M) at (intersection cs: first line={(\k M)--(\l)}, second line={(\l M)--(\k)}) {$\k \l M$};
		\draw[->] (\k \l M)--(M);
		\draw[->] (\k \l M)--(\k \l );
		\draw[->] (\k \l M)--(\k M);
		\draw[->] (\k \l M)--(\l);
		\draw[->] (\k \l M)--(\l M);
		\draw[->] (\k \l M)--(\k);
	}
}
\draw[->] (K'L') to[bend right=10] (K');
\draw[->] (K'L') to[bend left=10] (L');
\draw[->] (KL') to[bend left=10] (K);
\draw[->] (KL') to[bend right=10] (L');
\draw[->] (K'L) to[bend left=10] (K');
\draw[->] (K'L) to[bend right=10] (L);
\draw[->] (KL) to[bend right=10] (K);
\draw[->] (KL) to[bend left=10] (L);
\end{tikzpicture}
\end{equation*}

\end{document}
