By symmetrizing the lambda function under the canonical action of the symmetric group " S " 3 on " X " ( 2 ), and then normalizing suitably, one obtains a function on the upper half-plane that is invariant under the full modular group SL _ 2 ( \ mathbb { Z } ), and it is in fact Klein's modular j-invariant.
