AMM design that maintains an invariant like x*y=k or more complex functions to price swaps.