אנגלית ⇄ רוסית +

equational implication מתח
.מָתֵי	квазитождество; условное тождество