../ adfarrows.dtx 20-Nov-2025 19:32 28046 adfbullets.dtx 20-Nov-2025 19:32 17989 adfsymbols.dtx 20-Nov-2025 19:32 22500 adfsymbols.ins 20-Nov-2025 19:32 9413