Consider this query. What is shown as
seq() -- .
should actually be
seq() --> .
This happens, if
--> occurs within markdown formatted programs. If the program text is formatted with
--> is properly displayed in the results. Below is part of the search-result. The first (answered jun 29'11) shows a
-- while the second (answered mar 20) shows the expected
-->, but this time
<pre> is used (for highlighting in a transcript).