Optimal Adaptive Market-Making with Inventory: A Symbolic Closed-form Solution