Ho provato a leggere tutto il post, ma dopo i primi paragrafi ho iniziato a scorrerli velocemente.
Ho anche provato i convertitori online con
\+ exist
A \= b
ma non hanno convertito \ in \\, quindi il codice\text risulta come
+ exist
A = b
Il nostro sito (SWI-Prolog) è dedicato al linguaggio di programmazione Prolog SWI-Prolog e molti post contengono codice sorgente Prolog. Poiché Prolog è un linguaggio di programmazione logica basato su tre operatori logici fondamentali, and, or e not, e not è tipicamente rappresentato dal carattere \ quando usato con operatori comuni, ad esempio \=/2 e \+/1, e poiché Markdown utilizza \ come carattere di escape, spesso gli operatori incollati in linea, e non all’interno di blocchi di codice, non vengono visualizzati come \= o \+, ma come = o +, perché la conversione Markdown consuma la \ considerandola un carattere di escape.
È possibile risolvere questo problema? 