Cell[BoxData[RowBox[List[RowBox[List["HoldPattern", "[", RowBox[List["FractionalPart", "[", RowBox[List["\[ImaginaryI]", " ", "z_"]], "]"]], "]"]], "\[RuleDelayed]", RowBox[List["\[ImaginaryI]", " ", RowBox[List["FractionalPart", "[", "z", "]"]]]]]]]] |