  We prove an Alt-Caffarelli-Friedman montonicity formula for pairs of
functions solving elliptic equations driven by different ellipticity matrices
in their positivity sets. As application, we derive Liouville-type theorems for
subsolutions of some elliptic systems, and we analyze segregation phenomena for
systems of equations where the diffusion of each density is described by a
different operator.
