I spent several hours struggling with display() not using STDOUT. I found 
that
pushdisplay(TextDisplay(STDOUT))
does not make display() to use STDOUT. I think it has something to do with 
the Latex symbol support, because my old functions stopped working around 
the time it was introduced.

Reply via email to