Hacker News new | ask | show | jobs
by riskassessment 178 days ago
I was expecting a system like Leibniz notation, Boolean Algebra, Begriffsschrift, or the notation system in Principia Mathematica