--- mathml.spad.pamphlet 2007-12-17 09:20:36.000000000 -0800
+++ mathml.spad.pamphlet.new 2007-12-17 21:23:48.000000000 -0800
@@ -789,7 +789,7 @@
- stringify expr == (object2String$Lisp expr)@S
+ stringify expr == (mathObject2String$Lisp expr)@S
@@ -1326,10 +1326,6 @@
-- where it arises. Removed 2007-02-14
concat(concat("",str),"")
-- if we get to here does that mean it's a variable?
- -- test for something like #\A and strip off #\
- str.1 = char "#" and str.2 = char "\" =>
- u : US := segment(3,len)$US
- concat ["",str.u,""]
concat ["",str,""]
l : L E := (expr pretend L E)
null l => blank