@aeva seems like a nice custom monospace coding font could manage this for you via a ligature? Make one of the characters duospaced to taste…