Input (grade 13): Holomorphically convex hull, in complex analysis
Output (grade 12): the holomorphically convex hull in complex analysis