Not sure its much use now, but Acetone would have been a better choice of solvent.

Nail varnish remover is probably the most readily accesable version of it you might have had around. Generally shifts permanent pen fairly fast.

Kit