File:Watanabe UglyDucklingTheorem.pdf

\documentclass[12pt]{article}
\usepackage[pdftex]{color}
\usepackage[paperwidth=300\unitlength,paperheight=225\unitlength]{geometry}
\usepackage{graphicx}
\setlength{\topmargin}{-36mm}
\setlength{\textwidth}{300\unitlength}
\setlength{\textheight}{225\unitlength}
\setlength{\oddsidemargin}{-23mm}
\setlength{\parindent}{0cm}
\pagestyle{empty}
\definecolor{coFalse}   {rgb}{0.50,0.00,0.00}
\definecolor{coTrue}    {rgb}{0.00,0.50,0.00}
\newcommand{\xor}{\oplus}
\newcommand{\0}{\textcolor{coFalse}{\sf 0}} 
\newcommand{\1}{\textcolor{coTrue}{\sf 1}} 
\newlength{\Wd}
\setlength{\Wd}{12mm}

\begin{document}
\renewcommand{\arraystretch}{1.5}%
\Huge%
$$\begin{array}{r | p{\Wd}cp{2\Wd}cp{2\Wd}cp{\Wd} | c*{4}{@{}c} c c*{4}{@{}c} | l}
\cline{2-8}
& \multicolumn{7}{|c|}{}        \\[-3ex]
% include picture which was extracted from File:A Corny Concerto (2).png
& \multicolumn{7}{|c|}{\includegraphics{Watanabe_UglyDucklingTheorem.png}} \\
& & \sf A       && \sf B        &&\sf C &\\
%& & x3 && x2   &&x1    &\\
\cline{2-19}
1&& \1  && \0   &&\0    &&     &E&     &     & &=&     &E&\land&     &W&\mbox{ eldest}\\
2&& \1  && \1   &&\0    &&     & &     &     &W&=&     &E&\lor &     &W&\mbox{ white}\\
3&& \0  && \0   &&\0    &&     & &    0&     & &=&     &E&\land&\lnot&W&\mbox{ eldest and non-white}\\
4&& \0  && \0   &&\1    &&     & &     &\lnot&W&=&\lnot&E&\land&\lnot&W&\mbox{ non-white}\\
5&& \0  && \1   &&\0    &&\lnot&E&\land&     &W&=&     &E&\xor &     &W&\mbox{ non-eldest and white}\\
6&& \0  && \1   &&\1    &&\lnot&E&     &     & &=&\lnot&E&\lor &\lnot&W&\mbox{ non-eldest}\\
7&& \1  && \0   &&\1    &&     &E&\lor &\lnot&W&=&\lnot&E&\xor &     &W&\mbox{ eldest or non-white}\\
8&& \1  && \1   &&\1    &&     & &    1&     & &=&\lnot&E&\lor &     &W&\mbox{ non-eldest or white}\\
\cline{2-19}
\end{array}$$
\end{document}