супер, спасибо 🙌🏻

Блин, я опять все пропустил :) Что там было-то в Deleted message (если в общем, без абьюзящего смысла)?

Извините, поезд ушёл. Приходите вовремя. ;)

Администрация, вот вы зря удаляете мои комментарии. Люди вот интересуются. :)

так вот, правила есть, но названия этому правилу нет?
просто принять как аксиому)

Вам нужно именно название?

а вот этого же значка перечеркнутый = нет на клавиатуре?

нормально заменять как просто "выберите условие (оператор) "равно" или "не равно" https://monosnap.com/file/M3vk97ZVXqDlElGtwgZGFA7YV4jgU2

да)

Тогда я не могу вам помочь. Но попробуйте поискать учебники по типографике.

В качестве, дополнения/ремарки, если Вам настолько принципиально, рассмотрите вариант ссылки на тот же раздел Quotation marks у Гугла.
Например, вот здесь пишем так, потому что…
или
Согласно правилу [ссылка на источник], знаки препинания/кавычки используем вот так.

https://en.wikipedia.org/wiki/Equals_sign#Not_equal

Можно юникодом вставить, можно использовать != (но в разных языках встречается не только такая форма). Текстом вполне допустимо, почему нет, написать “равно” и “не равно”

Это сочетание кавычек со знаками препинания. Поищите по такому названию

Вот пример из Вики.

Различия между языками проявляются не только во внешнем виде кавычек, но и в том, как они сочетаются со знаками препинания. В частности, в русском языке, если кавычки передают прямую речь, то восклицательный и вопросительный знак ставятся перед закрывающей кавычкой, тогда точка и запятая всегда ставится после закрывающей кавычки. В английском языке (американский вариант) точка и запятая всегда ставится перед закрывающей кавычкой, тогда как в британском английском правила употребления точки и запятой до или после кавычки аналогичны правилам для восклицательного и вопросительного знаков. Двоеточие и точка с запятой всегда ставится после закрывающей кавычки как в русском, так и в английском языке.

Тогда уж по кавычкам лучше "равно" или "не равно". Ну или просто копировать ≠ )

Что-то я в альтовых комбинациях не нашла этот значок, грусть

добавить можно, вопрос будет ли он норм отображаться у всех пользователей (учитывая разные платформы и браузеры)

≠ - довольно стандартный знак, если ПО довольно распространенное и технологичное, то должно норм обрабатывать. Думаю все браузеры точно его поймут правильно

Вопрос, что привычно международной аудитории, в которой для большинства английский — неродной язык.

Возможно.
Склоняюсь к мнению, что (в контексте данного вопроса и ситуации с quotation marks) сильно вряд ли они смогут чётко дать ответ на этот вопрос даже самим себе.
По большому счёту, международной аудитории, а именно людям неискушённым, мягко говоря, “по банану”.
Что касается контингента “в теме”, здесь уже другой разговор. Там ребята знают на что сразу обращать внимание и, как правило (вероятность больше), они-то отзыв оставят. Их мнение ценится больше.