F WASYSYM.DRV;1                     	wasysym.drv
F WASYSYM.DTX;1                     	wasysym.dtx
F WASYSYM.INS;1                     	wasysym.ins
F WASYSYM.UPL;1                     	wasysym.upl