Hacker News new | ask | show | jobs
by tsimionescu 1168 days ago
Why is forall any less formal than ∀? Or Nat less formal than ℕ? Especially when these are symbols that most will have learned in high school?
1 comments
sirwhinesalot 1168 days ago
They're not on my keyboard.
link