Source: https://hautmathelin.fr/math/seconde/2_Automath_Modeliser_avec_fonctions_Toussaint.pdf