leanprover-community / mathlib

  • Home
  • Zulip archive
  • API documentation
  • Lean web editor
  • Links

Zulip Chat Archive

Stream: general

Topic: Font in docs


Winston Yin (尹維晨) (Feb 11 2025 at 01:45):

I'm looking at docs#IsCompact.elim_nhds_subcover, and it's dreadfully unreadable as U (union) and U (the letter) look the same in whatever font I have on Chrome / macOS Sonoma. Any recommended workarounds?

Winston Yin (尹維晨) (Feb 11 2025 at 01:45):

They look the same here on Zulip too.


Last updated: May 02 2025 at 03:31 UTC

Theme Simple by wildflame © 2016 Powered by jekyll