DejaVuSansMono.ttf version 2.32
Most glyphs between code points 22B0 and 22D9 are missing. The following glyphs are available: 22C5, 22C6, 22CD.
I inspected DejaVuSansMono.ttf using fontforge 20080429.
I would like these glyphs for mathematical programming (using the Agda language).