Saw there's an issue already about the <= ligature. Will open a second issue with feature request for bigger dots.