diff -r 000000000000 -r 66483ebc9b56 test/compatibility/html-symbol.tst
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/test/compatibility/html-symbol.tst	Sat May 25 19:14:21 2013 +0100
@@ -0,0 +1,6 @@
+**************** INPUT ****************
+&So;
+**************** EXPECTED ****************
+
+&So;
+    Line 1 column 1 - HTML symbol? &So;