Simple as that, I tried to look up something but didn't find anything useful.
I want to putadd an index to the file names of my exported images, so I'm using ToString
, but it's a bit of. But I have a problem when my index is a fraction, asbecause then the filenamegenerated file name includes characters not recognised by my system.
Is it possible to make $2\pi/5$ become, for example, 2Pi--5
or something similar when put into ToString
converting it to a string?