This has reminded me that I had a special “floppy disk pen”. It was just a regular felt-tip but with a weak breakaway end, so that it would give way before damaging a disk if you pressed too hard.

I think it may have been free with a magazine. I hope I didn’t actually pay money for it.