These are automatically generated via the generate_symbols_svg script. Some were modified manually afterwards. These certainly need some manual care, and a number of icons are missing (cannot be created automatically). But it is a start.
