(**************************************************************************)
include "ground/notation/functions/downspoon_2.ma".
(**************************************************************************)
include "ground/notation/functions/downspoon_2.ma".