Странный баг

[Someone]

Мастак в сообщении #823207 писал(а):

Аксиома выделения: "Из каждого множества можно выделить [по меньшей мере одно] подмножество c, высказав суждение о каждом элементе b данного множества a" :: $ \forall a \exists!c \forall b \ ( b \in c \leftrightarrow b \in a \ \land \ \Phi<span style=.
Например, парадокс:
«Мэры всех городов должны жить не в своем городе, а в специальном Городе мэров». Где должен жить мэр Города мэров?
Записываем по схеме выделения:
$b$ - произвольный мэр
$c$ - множество жителей города мэров
$a$ - множество мэров
$\Phi[b]$ - не должен жить в своем городе.

Xaositect в сообщении #823209 писал(а):

А теперь все это в виде формул теории множеств, пожалуйста.

Присоединяюсь к просьбе. [b]Мастак, будьте любезны, запишите свой парадокс на языке теории множеств "по схеме выделения".

Если убрать выделение жирным шрифтом псевдонима "Мастак", то формула отображается нормально.

[Toucan]

Я думаю, форумный движок распознаёт [b] внутри формулы ("\Phi[b]") как открывающий тег жирного шрифта и пытается закрыть его тегом [/b], закрывающим ник. Т. е. BB-коды обрабатываются до обработки формул.

Если добавить пробел перед "b" ("\Phi[ b]"), то вроде всё отображается правильно.

[Someone]

Спасибо.