定理証明支援系用のフォントについて
https://gyazo.com/a723748b49414568dfec49d82dcc3b86
おれの環境(
JetBrains Mono
)
ここに書くのを忘れたが,基本的に矢印
→
などは殆ど一緒に見えて大変なことになる
#フォント
Lean 4
で頻繁に使われるが一般的なプログラミングでは使用されないunicodeの文字(上付き文字、下付き文字、ギリシャ文字、花文字、フラクトゥール、数学記号等)が適切に表示されるようなフォントがあってほしいしあるべきだと思う
https://mstdn.jp/@palalansouki/110664965714072743