../ adfarrows.dtx 01-Apr-2025 05:37 28046 adfbullets.dtx 01-Apr-2025 05:37 17989 adfsymbols.dtx 01-Apr-2025 05:37 22500 adfsymbols.ins 01-Apr-2025 05:37 9413