Попытался прочитать весь пост, но после первых нескольких начал просто пробегать их глазами.
Также пробовал онлайн-конвертеры с
\+ exist
A \= b
но они не преобразовывали \ в \\, поэтому код\text выводился как
+ exist
A = b
Наш сайт (SWI-Prolog) посвящён языку программирования Prolog, а именно SWI-Prolog, и многие посты содержат исходный код на Prolog. Поскольку Prolog — это язык логического программирования, основанный на трёх базовых логических операторах: and, or и not, а not обычно обозначается символом \ при использовании с общими операторами, например \=/2 и \+/1, и Markdown использует \ как символ экранирования,
часто операторы, вставленные в строку текста, а не в блоки кода, отображаются не как \= или \+, а как = или +, поскольку конвертер Markdown «съедает» \, считая его символом экранирования.
Можно ли это исправить? 