I am trying to make my Agda code easier to read. The fonts I commonly used (Dejavu Sans Mono, Hack, Fira Code, Menlo) all has tiny arrow heads, which makes it very difficult to read. Is there a font (free would be a plus) that has more readable arrows?

previously asked here

  • Have you tried Consolas? – Yisroel Tech May 30 '19 at 2:33
  • Consolas is indeed better than those listed above! Thank you! But I wish the arrow head could be even bigger. – protossor May 31 '19 at 16:49
  • How about SimSun, Archivo Narrow, or Overpass Mono? – Yisroel Tech May 31 '19 at 17:24
  • 1
    Thanks again for the super quick reply! Your suggestions lead to mefinding this awesome website wfonts.com and fira-mono has the biggest arrow head I have seen so far. – protossor May 31 '19 at 18:09

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.