README: add formula list