Notebook[List[Cell[BoxData[FormBox[RowBox[List[RowBox[List[RowBox[List["K", Cell[TextData[StyleBox[":", Rule[LineSpacing, List[1, 0]]]]], "f"]], "\[RightTeeArrow]", RowBox[List["[", GridBox[List[List["f", RowBox[List[OverscriptBox["+", "_"], "\[Gimel]"]]], List[RowBox[List[OverscriptBox["+", "_"], "\[Gimel]"]], "f"]]], "]"]]]], ";"]], TraditionalForm]], "Input"]]]