We study certain one-dimensional maps with indifferent fixed point which possess an infinite invariant measure. It is known that extending the definition of mixing of finite ergodic theory is not trivial, and can lead to various definitions of infinite mixing. We show that our maps are mixing, where the relevant mixing behavior is captured by pairing a global observable and a local observable. Joint work with C. Bonanno and M. Lenci.