 The form formula_2 is alternating since "K" has characteristic 2; it follows that a nonsingular quadratic form in characteristic 2 must have even dimension.Any binary (2-dimensional) nonsingular quadratic form over "K" is equivalent to a form formula_3 with formula_4 in "K".The Arf invariant is defined to be the product formula_5.