Comment by rbates

Interesting, I ended up with Fira Mono and my current font is also DejaVu Sans Mono which I also like better. The @ sign does it for me.