Что это за оператор jQuery: ≢? ⇐ Jquery

[Anonymous]

Я смотрел видео на YT, и этот парень использовал этот странный оператор в jQuery (ASP.NET Core MVC). Может кто-нибудь сказать мне, что это такое?

Оператор: