[ros-dev] Needs DejaVuMathTeXGyre.ttf?

[katahiromz]

Dear everyone,

I think DejaVuMathTeXGyre.ttf is bad font for normal use. Why do we need
this font?

Thanks