  This note presents a unified theorem of the alternative that explicitly
allows for any combination of equality, componentwise inequality, weak
dominance, strict dominance, and nonnegativity relations. The theorem nests 60
special cases, some of which have been stated as separate theorems.
