src/Pure/General/symbol.scala

--- a/src/Pure/General/symbol.scala	Sat Aug 11 20:54:06 2012 +0200
+++ b/src/Pure/General/symbol.scala	Sat Aug 11 21:10:36 2012 +0200
@@ -56,7 +56,7 @@
         val c1 = s(0)
         val c2 = s(1)
         !(c1 == '\r' && c2 == '\n' || Character.isSurrogatePair(c1, c2))
-      case _ => !s.endsWith(">")
+      case _ => !s.endsWith(">") || s == "\\<>" || s == "\\<^>"
     }
 
   def is_physical_newline(s: Symbol): Boolean =