Ask HN: What tool for live, collaborative, symbolic math? | Dark Hacker News