Çавăн чухне тата çавăн чухне çеç
- «Iff» ыйтни кунта куçать; урăх пĕлтерĕшсем см. IFF.
«Çавăн чухне тата çавăн чухне çеç» — логикăра, математикăра, философире: каланăлăхсем хушшинчи эквиваленцие кăтартакан логикăлла çыхăну.
↔ ⇔ ≡
Логикăлла символсем,
çавăн чухне тата çавăн чухне çеç тенине кăтартаççĕ.