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