author: Pierre-Louis Curien content: Mathematicians are not very good at formalizing mathematics, but they *are* very good at notation. id: d3608177-3129-4b20-b094-6fec28371cd6
