Come ti ha giÓ detto andbin di lÓ, il file si chiama in realtÓ a.txt.txt.
Fossi in te abiliterei la visualizzazione delle estensioni su Windows: mai capito perchŔ abbiano deciso di fare sta cosa, ma...