CCNffIndexer[ ] in core.nb

(*FIXME: “]”->“]]” in some cases in the above .left or .right extra ] could be added for expand[eq.left] *)

list2 = Map[ StringReplace[#, {“.[” → “[[”, “'[” → “[[”, “]” → “]]” }] &, list1];