Full threadmath-dev·My view is that math is highly expressive and constraining that expressivity through rules like don’t type |x| is not a great ideaView on HN