Lean 돌리고 잇는데

노테이션이 이상하게 생겨서 마음에 안든다


특히 공집합 기호 킹받게 생겻네


수학 기호 깔끔하게 나오는 폰트 추천좀