No marking pen is truly "permanent", as light, detergents, and time will effect the pigment of the ink. (Too many year's in the printing industry).
Pigma Pens or the ZigWriters work well. Sharpies tend to bleed... when purchasing look for pens that are marked "archival" and "permanent".