<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">
% LTeX: enabled=false
\documentclass[border={10pt},convert=true]{standalone}

%%%% pdftoppm -r 1200 TypeTree1.pdf  TypeTree1 -png
%%% convert und pdf2svg sehen schlecht aus



\usepackage[]{tgheros}
\usepackage{microtype}

\usepackage{tikz}


\begin{document}
\def\radius{3}
\def\fak{.83}
\begin{tikzpicture}[
  font=\sffamily,
  ]
  \draw[line width=2.3] (0,0) circle [radius=\radius]; 
  \foreach \angle [count=\xi from 0] in {90, 67.5,...,-67.5} {
    \node[] at (\angle:1.1*\radius) {\textsf{+\xi}};
    \draw[line width=1pt] (\angle:0.97*\radius) -- (\angle:1.03*\radius);
  };  
  \foreach \angle [count=\xi] in {112.5, 135,...,270} {
    \node[] at (\angle:1.1*\radius) {\textsf{-\xi}};
    \draw[line width=1pt] (\angle:0.97*\radius) -- (\angle:1.03*\radius);
    };
  \node at (90:\fak *\radius ){0000};
  \node at (90-1*90/4:\fak *\radius ){0001};
  \node at (90-2*90/4:\fak *\radius ){0010};
  \node at (90-3*90/4:\fak *\radius ){0011};
  \node at (90-4*90/4:\fak *\radius ){0100};
  \node at (90-5*90/4:\fak*\radius ){0101};
  \node at (90-6*90/4:\fak *\radius ){0110};
  \node at (90-7*90/4:\fak*\radius ){0111};
  
  \node at (90-8*90/4:\fak*\radius ){1000};
  \node at (90-9*90/4:\fak*\radius ){1001};
  \node at (90-10*90/4:\fak*\radius ){1010};
  \node at (90-11*90/4:\fak*\radius ){1011};
  \node at (90-12*90/4:\fak*\radius ){1100};
  \node at (90-13*90/4:\fak*\radius ){1101};
  \node at (90-14*90/4:\fak*\radius ){1110};
  \node at (90-15*90/4:\fak*\radius ){1111};

  \node at (0:0)  {\LARGE{\texttt{Int4}}};
\end{tikzpicture}


\end{document}

%%% Local Variables:
%%% TeX-master: t
%%% End:
</pre></body></html>