List of symbols in formal/mathematical logic | Hacker News Reader