A primer of notable symbols in formal/mathematical logic | Hacker News Reader