../ adfarrows.dtx 04-Oct-2024 06:21 23473 adfbullets.dtx 04-Oct-2024 06:21 12349 adfsymbols.dtx 04-Oct-2024 06:21 22171 adfsymbols.ins 04-Oct-2024 06:21 9147