For example, this label on an image is no good at present: label="graph-of-y=1/2x". The slash is a problem when the label is used in a filename for obvious reasons. The equals sign is apparently potentially problematic in a file name in Windows.
Two solutions occur to me:
We sanitize labels when making things like file names. You end up with files like graph-of-y__equals__1__slash__2x.png.
We restrict the characters that are used in an authored label in the first place. In assembly, where label duplication is checked, that would be a natural place to check that only approved characters are used.
For example, this label on an image is no good at present:
label="graph-of-y=1/2x"
. The slash is a problem when the label is used in a filename for obvious reasons. The equals sign is apparently potentially problematic in a file name in Windows.Two solutions occur to me:
graph-of-y__equals__1__slash__2x.png
.