  Now we can define the coding map of Form(κ,λ) into  H(κ).  First, to each basic symbol s  of  L(κ,λ) we assign a code object  ⌈s⌉ ∈ H(κ) as follows. Let {vξ: ξ &lt; κ} be an enumeration of the individual variables of  L(κ,λ).