Currently, the font lacks these symbols, and what you're actually seeing are those of DejaVu Sans Mono, which is bigger than Ubuntu Mono.
Currently, the font lacks these symbols, and what you're actually seeing are those of DejaVu Sans Mono, which is bigger than Ubuntu Mono.