On Wed, 24 Mar 2021 at 10:16, Volker Wysk <post at volker-wysk.de> wrote: > > I guess "cog" means gearwheel. Haven't found it in my dictionary. Yes. https://en.wikipedia.org/wiki/Cog I didn't realise that was not a commonly used term for the gearwheel symbol. Colin