greek letters for top-level function declarations