Pull amssymb due to conflict with Charter
Switch to Libertine