Extension:Math/T305613

$$  \land $$