Насколько я понимаю, оба знака по разным, к математической логике отношения не имеющим, причинам вместо знака
используются для обозначения эквиваленции. Тот, кому надо, поймёт...
За пример решения, конечно, спасибо, хотя он мне совсем не нужен.
Об авторе:
Facta loquuntur.