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