Proposition Infinity (generally referred to as "Proposition 8"), which banned same-sex marriage in California in November 2008. The title of the episode is derived from Proposition 8, turning the 8 sideways to create the symbol for infinity (∞), hence "Proposition ∞". Though the episode satirizes arguments for same-sex marriage, it leans favorably toward the idea of allowing same-sex marriage. The theme of the episode revisits the social taboo of robosexual relationships presented in earlier episodes "Space Pilot 3000" and "I Dated a Robot". Openly gay actor George Takei of "Star Trek" fame, who married his partner in California during the debate over
Kronecker symbol Kronecker symbol In number theory, the Kronecker symbol, written as formula_1 or formula_2, is a generalization of the Jacobi symbol to all integers formula_3. It was introduced by . Let formula_3 be a non-zero integer, with prime factorization where formula_6 is a unit (i.e., formula_7), and the formula_8 are primes. Let formula_9 be an integer. The Kronecker symbol formula_10 is defined by For odd formula_8, the number formula_13 is simply the usual Legendre symbol. This leaves the case when formula_14. We define formula_15 by Since it extends the Jacobi symbol, the quantity formula_17 is simply formula_18 when formula_19. When formula_20,