Cell[BoxData[RowBox[List[RowBox[List["HoldPattern", "[", RowBox[List["ArcCos", "[", SqrtBox[RowBox[List["1", "-", "z_"]]], "]"]], "]"]], "\[RuleDelayed]", RowBox[List[FractionBox["\[Pi]", "2"], "-", RowBox[List["ArcCos", "[", SqrtBox["z"], "]"]]]]]]]] |