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