Andrew Krizhanovsky + v сближает  almost 8 years ago

Commit id: d33c21dbf66aba3997f813d2bbd3109ac8728fdb

deletions | additions      

       

$$  v \in IntS   \mathrel{\mathop{\Leftrightarrow}^{\mathrm{(1)}}} % see (\ref{eqn:eq_short_ints}),   \forall p_i: Int S = \{v \in S: sim^1_i > sim_i \ \wedge \ sim^2_i > sim_i \} //\ v\ \text{сближает}\ S_1\ \text{и}\ S_2 \\  \mathrel{\mathop{\Leftrightarrow}^{\mathrm{(2)}}} % see (\ref{eqn:eq_rv_pi_definition}),  \forall p_i: r_v (p_i) = 1  \mathrel{\mathop{\Leftrightarrow}^{\mathrm{(3)}}} % see (\ref{eqn:eq_synonym_rank}),