method anti = fun f s -> pp f "$%s$" s