[Logiweb] Apostrophes

[Klaus Ebbe Grue]

> Hi logiweb at diku.dk,
>
> It seems that Logiweb has a problem writing two apostrophes in a row, as in:
>
> (§)  (t' + r')  =  (t + r)''

My fault.

"[ intro var x peano succ pyk "* peano succ" tex "#1.
'" end intro ]",

should have been

"[ intro var x peano succ pyk "* peano succ" tex "#1.'" end intro ]",

The only difference is that the first definition has a newline after #1. 
LaTeX seems to deprecate double primes with intervening newline 
characters. It is unclear to me whether this is a bug or a feature of 
TeX/LaTeX.

Solution 1: Do as Frederik suggests and add parentheses.

Solution 2: Make your own peano arithmetic page with the bug corrected.

Klaus