Ticket #4945: 4945.patch

sage/interfaces/expect.py

@@ -1336 +1336 @@
         self._session_number = parent._session_number
 
     def _latex_(self):
-        return "\\begin{verbatim}%s\\end{verbatim}"%self
-
+#        return "\\begin{verbatim}%s\\end{verbatim}"%self
+        string = str(self)
+        if not '|' in string:
+            delim = '|'
+        elif not '#' in string:
+            delim = '#'
+        elif not '@' in string:
+            delim = '@'
+        elif not '~' in string:
+            delim = '~'
+        return "\\verb%s%s%s"%(delim, string, delim)
 
     def __iter__(self):
         for i in range(1, len(self)+1):

sage/server/notebook/js.py

@@ -3783 +3783 @@
     Process all the jsmath in this page.
     */
     try {
+         jsMath.Extension.Require("verb");     
          jsMath.Process(); 
     } catch(e) {
     }