[Logiweb] Yet more apostrophes...

[Holger Bock Axelsen]

Hi there,

It seems that while using parenthesis on succesive apostrophes (as with 
peano succ), or changing the tex deifinition, makes the LaTeX compilation 
go through with the body, this is not so for the expansion and codex.

This is manifested as an error during LaTeX compilation:

! Double superscript.
<recently read> ^

l.2901 }

?
! Emergency stop.
<recently read> ^

l.2901 }

in the compilation of the tex face of the expansion.

Any suggestions?



/Holger Bock Axelsen