Tried to read all of the post, but after the first several started to just skim them.
Also tried the on-line converters with
\+ exist
A \= b
but they did not convert the \
to \\
so instead the code\text comes out as
+ exist
A = b
Our site (SWI-Prolog) is for the Prolog programming language SWI-Prolog and many post contain Prolog source code. Since Prolog is a logic programming language built on three basic logical operators, and
, or
, and not
, and not
is typically represented by the character \
when used with common operators, e.g.\=/2 and \+/1 and Markdown uses the \
as an escape character,
often operators that are pasted when inline and not in code samples don’t show up as \=
or \+
but as =
or +
because the Markdown conversion eats the \
thinking it is an escape.
Can this be fixed.