these-jcb/figures/approachRuleATrace.tex

\definecolor{myred}{HTML}{d01e1e}
\definecolor{mygreen}{HTML}{129d1c}
\begin{tikzpicture}[>=latex, node distance=1cm, on grid, auto, every token/.style={color=mygreen}]%, scale=0.6, transform shape]

\node (A2) [draw, circle, minimum size=0.5mm, color=myred, tokens=1] {};
\path (A2.west)+(-0.25,-1) node (A1) [draw, regular polygon, regular
polygon sides=6, minimum size=1cm, color=myred] {}; %{A};
\path[-,color=myred] (A1) edge (A2);

\path (A2.west)+(-1.5,-0.5) node (arrow) [minimum size=0.5cm] {$\longrightarrow$};
\path (arrow.west)+(-0.5,0) node (A) {A};

\end{tikzpicture}