Cell[BoxData[RowBox[List[RowBox[List["HoldPattern", "[", RowBox[List["ArcTan", "[", RowBox[List[RowBox[List["-", "2"]], "-", SqrtBox["3"]]], "]"]], "]"]], "\[RuleDelayed]", RowBox[List[RowBox[List["-", FractionBox["1", "12"]]], " ", RowBox[List["(", RowBox[List["5", " ", "\[Pi]"]], ")"]]]]]]]] |