diff -r 000000000000 -r c45fa3843618 test/compatibility/html-symbol.tst
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/test/compatibility/html-symbol.tst	Thu Oct 03 16:09:39 2013 +0100
@@ -0,0 +1,6 @@
+**************** INPUT ****************
+&So;
+**************** EXPECTED ****************
+
+&So;
+    Line 1 column 1 - HTML symbol? &So;