f = $$(x)  -- #20157