diff -r 000000000000 -r f44c530f80da test/compatibility/html-symbol.tst
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/test/compatibility/html-symbol.tst	Sat Oct 26 18:47:33 2013 +0100
@@ -0,0 +1,6 @@
+**************** INPUT ****************
+&So;
+**************** EXPECTED ****************
+
+&So;
+    Line 1 column 1 - HTML symbol? &So;