> "а" ещё и буква русского алфавита.

$ echo -n 'а a' | hexdump -C
00000000  d0 b0 20 61                                       |.. a|
00000004

Ты можешь заглянуть ещё в файлы шрифтов, и увидеть, что это разные глифы. Более того, Эйлер использовал в качестве о-маленькой русскую о. Этот факт, правда, я слышал от препода-математика на лекции, и последнее время я сомневаюсь в том, что преподу-математику можно верить в этих вопросах, не уточнив у него предварительно откуда он сам это знает -- может он прикалывался, когда говорил это? Но сам факт, того что он говорил это, опять же намекает нам, что одинаково выглядящие русские и английские буквы -- это разные буквы.

>> ∀ - Any
> Introduced by Gerhard Gentzen who based it on the Latin letter A,
> by analogy with ∃.

Пфф. Английский алфавит и латинский -- одно и то же. У них даже ASCII коды одинаковы.

Другое дело, что если пройтись по ссылкам из википедии, добраться до стр.178 "Mathematische Zeitschrift"[1] и почитать там примечание, там ни слова не сказано о том, что это латинская буква. Может это немецкая буква, на самом деле? Впрочем, это не делает ситуацию лучше и не снимает вопроса "почему русские математики не воюют за русские буквы в математике": немецкая буква всё равно не русская.

[1] https://gdz.sub.uni-goettingen.de/id/PPN266833020_0039?tify=...,%22panX%22:0.499,%22panY%22:1.195,%22view%22:%22info%22,%22zoom%22:0.533}

>>Сорри, не открывается. uMatrix что-то там блочит
> Так может откроется:
> https://m.imgur.com/EbqdKJl
> Уматрикс нужно разрешить, да.

Кому нужно, тот пускай и разрешает. Я не понимаю, почему для просмотра картинки нужен js, поэтому я не буду его разрешать. Это базовый принцип личной безопасности: если ты не понимаешь зачем нужно исключение из политик безопасности, то ты это исключение не разрешаешь, вне зависимости от эмоционального накала аргументов в пользу этого исключения.