% The following code was produced by Claude Sonnet 5 Medium on
% 2026-08-06 with prompting by Andrew Pitts
%
% Miëtek Bak's Agda logo (hen only) as an inline TikZ picture,
% height = 1em. Coordinates taken directly from the an SVG file
% (viewBox 0 0 536 450); x=1em/450 and y=-1em/450 scale the picture so
% its height is exactly 1em while also flipping the y-axis to match
% TikZ's upward-y convention. Optional argument sets the color
% (default: black).
%
% Usage:
% \agdalogo prduces a black logo
% \agdalogo[foo] produces a logo colored foo (use \definecolor to
% define colors).
%
\RequirePackage{tikz}
\RequirePackage{xcolor}
\newcommand{\agdalogo}[1][black]{%
  \tikz[baseline=(current bounding box.south),
        x=1em/450, y=-1em/450,
        line width=15.6*1em/450, line cap=round, line join=round,
        every path/.style={draw=#1}]{
    \fill[#1] (111.817,124.819) circle[radius=11.702];
    \fill[#1] (155.157,124.819) circle[radius=11.702];
    \draw (441.201,7.801) -- (267.841,181.161);
    \draw (527.881,51.141) -- (441.201,137.821);
    \draw (527.881,7.801) -- (441.201,94.481);
    \draw (224.501,7.801) -- (137.821,94.481);
    \draw (267.841,7.801) -- (181.161,94.481);
    \draw (181.161,7.801) -- (7.801,181.161) -- (94.481,181.161) -- (94.481,267.841)
      .. controls (94.481,363.189) and (172.493,441.201) .. (267.841,441.201)
      .. controls (363.189,441.201) and (441.201,363.189) .. (441.201,267.841)
      -- (441.201,181.161) -- (527.881,94.481);
  }%
}