From Hanson's “market scoring rule,” we derive all the necessary formulae to implement a corresponding automated market maker for a prediction market. The market maker has many desirable qualities and always stands ready to trade, thus providing liquidity to markets. The formulae cover all...