Salt formula for IPython