Cell[BoxData[RowBox[List[RowBox[List["HoldPattern", "[", RowBox[List["ArcTanh", "[", "z_", "]"]], "]"]], "\[RuleDelayed]", RowBox[List["\[ImaginaryI]", " ", RowBox[List["ArcTan", "[", RowBox[List[RowBox[List["-", "\[ImaginaryI]"]], " ", "z"]], "]"]]]]]]]] |