% This picture represents the relationshipt between the real, complex and
% surreal numbers
% Copyright Pablo (C) 2021
\begin{tikzpicture}
  % The reals
  \draw (0.75, 0) node{$\mathbb{R}$}
        (   0, 0) circle (1.5);

  % The complex numbers
  \draw (-1.5, 0) node[left]{$\mathbb{C}$}
        ( 1.5, 0) circle (1.5);

  % The surreal numbers
  \draw (3,0) node[right]{$\mathbf{No}$};
\end{tikzpicture}

