Quarter tone accidental bug and temporary fix

Will there be different accidentals in for quarter tones in the future? I’m using mirrored flats and sharps with one or three vertical lines. These are the most used especially when you also use eight tones.