The Hotelling bi-matrix game

We study the pure equilibrium set for a specific symmetric finite game in strategic form, referred to as the Hotelling bi-matrix game. General results that guarantee non-emptiness of this set (for all parametric values) do not seem to exist. We prove non-emptiness by determining the pure equilibrium set. In this proof so-called demi-modality properties of the conditional payoff functions play an important role.