命題
関数y=f(x)がx=aで微分可能であるための条件は、ある定数Aが存在して
�凉≡f(a+�凅)-f(a)=A�凅+ε�凅
とかくとき、�凅→0のときε→0となることである。

この命題で≡という記号が使われていますが、どういう意味なんでしょうか?