Though it’s a workaround, you may find @dan_kreider’s new font useful for these. See Aleatoric boxes font