Hacker News new | past | comments | ask | show | jobs | submit login

There isn't a single reason to use symbols except that they save space. They aren't a magical spice that turns sentences into true proofs - the best they can do is let you write text that is already a proof in less space. Logical form is only worthwhile if you're doing so much logic that you can't print the word therefore that many times!



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: