2 $BEAUT_PATH = realpath(
".").
"/Services/COPage/syntax_highlight/php";
4 require_once(
"$BEAUT_PATH/Beautifier/HFile.php");
20 $this->colours = array(
"blue",
"purple",
"gray",
"brown",
"gray",
"purple",
"brown");
21 $this->quotecolour =
"blue";
22 $this->blockcommentcolour =
"green";
23 $this->linecommentcolour =
"green";
27 $this->indent = array();
28 $this->unindent = array();
32 $this->stringchars = array();
33 $this->delimiters = array(
"~",
"!",
"@",
"$",
"%",
"^",
"&",
"*",
"(",
")",
"-",
"+",
"=",
"|",
"\\",
"{",
"}",
"[",
"]",
":",
";",
"\"",
"'",
"<",
">",
" ",
",",
" ",
".",
"?");
38 $this->linecommenton = array(
"");
39 $this->blockcommenton = array(
"<!--");
40 $this->blockcommentoff = array(
"-->");
44 $this->keywords = array(
47 "<maligngroup/>" =>
"1",
48 "<malignmark/>" =>
"1",
57 "<mmultiscripts>" =>
"1",
58 "</mmultiscripts>" =>
"1",
70 "<mprescripts/>" =>
"1",
98 "<munderover>" =>
"1",
99 "</munderover>" =>
"1",
103 "<annotation-xml" =>
"2",
104 "</annotation-xml>" =>
"2",
105 "<annotation" =>
"2",
106 "</annotation>" =>
"2",
119 "<condition>" =>
"2",
120 "</condition>" =>
"2",
121 "<conjugate/>" =>
"2",
133 "<determinant>" =>
"2",
134 "</determinant>" =>
"2",
140 "<factorial/>" =>
"2",
150 "<intersect/>" =>
"2",
153 "</interval>" =>
"2",
168 "</lowlimit>" =>
"2",
172 "<matrixrow>" =>
"2",
173 "</matrixrow>" =>
"2",
188 "<notprsubset/>" =>
"2",
189 "<notsubset/>" =>
"2",
191 "<partialdiff/>" =>
"2",
195 "<prsubset/>" =>
"2",
196 "<quotient/>" =>
"2",
207 "<semantics>" =>
"2",
208 "</semantics>" =>
"2",
221 "<transpose>" =>
"2",
222 "</transpose>" =>
"2",
235 "accentunder=" =>
"4",
236 "actiontype=" =>
"4",
238 "alignmentscope=" =>
"4",
241 "background=" =>
"4",
248 "columnalign=" =>
"4",
249 "columnlines=" =>
"4",
250 "columnspacing=" =>
"4",
251 "defintionURL=" =>
"4",
253 "displaystyle=" =>
"4",
255 "equalcolumns=" =>
"4",
257 "fontfamily=" =>
"4",
260 "fontweight=" =>
"4",
262 "framespacing=" =>
"4",
263 "groupalign=" =>
"4",
267 "linethickness=" =>
"4",
273 "occurrence=" =>
"4",
280 "rowspacing=" =>
"4",
284 "separators=" =>
"4",
286 "subscriptshift=" =>
"4",
287 "superscriptshift=" =>
"4",
291 "&GoodBreak;" =>
"7",
292 "&IndentingNewLine;" =>
"7",
293 "​" =>
"7",
296 " " =>
"7",
297 "​" =>
"7",
307 "ⅇ" =>
"6",
308 "ⅈ" =>
"6",
309 "&NotANumber;" =>
"6",
310 "⁡" =>
"7",
311 "⁣" =>
"7",
312 "⁢" =>
"7",
313 " " =>
"7",
314 "​" =>
"7",
315 "​" =>
"7",
316 "​" =>
"7",
317 " " =>
"7",
320 "  " =>
"7",
321 " " =>
"7",
375 "϶" =>
"8",
376 "‵" =>
"8",
378 "⋍" =>
"8",
379 "∖" =>
"8",
423 "⨂" =>
"8",
426 "▽" =>
"8",
427 "△" =>
"8",
432 "⧫" =>
"8",
433 "▪" =>
"8",
434 "▴" =>
"8",
435 "▾" =>
"8",
436 "◂" =>
"8",
437 "▸" =>
"8",
492 "·" =>
"8",
493 "·" =>
"8",
497 "✓" =>
"8",
503 "↺" =>
"8",
504 "↻" =>
"8",
505 "⊛" =>
"8",
506 "⊚" =>
"8",
507 "⊝" =>
"8",
508 "⊙" =>
"8",
516 "⊖" =>
"8",
517 "⊕" =>
"8",
518 "⊗" =>
"8",
524 "∲" =>
"8",
525 "”" =>
"8",
526 "’" =>
"8",
538 "∁" =>
"8",
541 "≡" =>
"8",
544 "∮" =>
"8",
547 "∐" =>
"8",
550 "∳" =>
"8",
576 "⋞" =>
"8",
577 "⋟" =>
"8",
579 "⋏" =>
"8",
581 "↶" =>
"8",
582 "↷" =>
"8",
614 "´" =>
"8",
615 "˙" =>
"8",
616 "˝" =>
"8",
617 "`" =>
"8",
618 "&DiacriticalLeftArrow;" =>
"8",
619 "&DiacriticalLeftRightArrow;" =>
"8",
620 "&DiacriticalLeftRightVector;" =>
"8",
621 "&DiacriticalLeftVector;" =>
"8",
622 "&DiacriticalRightArrow;" =>
"8",
623 "&DiacriticalRightVector;" =>
"8",
624 "˜" =>
"8",
628 "♦" =>
"8",
639 "⋇" =>
"8",
653 "⊡" =>
"8",
654 "⌆" =>
"8",
655 "∯" =>
"8",
656 "¨" =>
"8",
657 "⇓" =>
"8",
658 "⇐" =>
"8",
659 "⇔" =>
"8",
660 "⟸" =>
"8",
661 "⟺" =>
"8",
662 "⟹" =>
"8",
663 "⇒" =>
"8",
664 "⊨" =>
"8",
665 "⇑" =>
"8",
666 "⇕" =>
"8",
667 "∥" =>
"8",
668 "↓" =>
"8",
669 "⇓" =>
"8",
670 "↓" =>
"8",
671 "⇵" =>
"8",
672 "⇊" =>
"8",
673 "⇃" =>
"8",
674 "⇂" =>
"8",
675 "↽" =>
"8",
676 "⇁" =>
"8",
724 "⪖" =>
"8",
725 "⪕" =>
"8",
727 "≂" =>
"8",
729 "⇌" =>
"8",
744 "≒" =>
"8",
817 "≥" =>
"8",
818 "⋛" =>
"8",
819 "≧" =>
"8",
820 "≷" =>
"8",
821 "⩾" =>
"8",
822 "≳" =>
"8",
835 "⪆" =>
"8",
838 "⋛" =>
"8",
839 "⪌" =>
"8",
842 "≩︀" =>
"8",
874 "♥" =>
"8",
883 "↩" =>
"8",
884 "↪" =>
"8",
890 "≎" =>
"8",
891 "≏" =>
"8",
916 "⋂" =>
"8",
988 "⟨" =>
"8",
989 "←" =>
"8",
990 "⇐" =>
"8",
991 "←" =>
"8",
992 "⇆" =>
"8",
993 "↢" =>
"8",
994 "⌈" =>
"8",
995 "⇃" =>
"8",
996 "⌊" =>
"8",
997 "↽" =>
"8",
998 "↼" =>
"8",
999 "⇇" =>
"8",
1000 "↔" =>
"8",
1001 "⇔" =>
"8",
1002 "↔" =>
"8",
1003 "⇆" =>
"8",
1004 "⇋" =>
"8",
1005 "↭" =>
"8",
1007 "⋋" =>
"8",
1008 "⊲" =>
"8",
1009 "⊴" =>
"8",
1010 "↿" =>
"8",
1011 "↼" =>
"8",
1016 "⩽" =>
"8",
1021 "⪃" =>
"8",
1024 "⪅" =>
"8",
1026 "⋚" =>
"8",
1027 "⪋" =>
"8",
1028 "⋚" =>
"8",
1029 "≦" =>
"8",
1030 "≶" =>
"8",
1033 "⩽" =>
"8",
1034 "≲" =>
"8",
1049 "⌞" =>
"8",
1050 "⇚" =>
"8",
1054 "⎰" =>
"8",
1056 "⪉" =>
"8",
1065 "⟵" =>
"8",
1066 "⟸" =>
"8",
1067 "⟵" =>
"8",
1068 "⟷" =>
"8",
1069 "⟺" =>
"8",
1070 "⟷" =>
"8",
1071 "⟼" =>
"8",
1072 "⟶" =>
"8",
1073 "⟹" =>
"8",
1074 "⟶" =>
"8",
1075 "↫" =>
"8",
1076 "↬" =>
"8",
1083 "↙" =>
"8",
1084 "↘" =>
"8",
1091 "⌟" =>
"8",
1118 "⥊" =>
"8",
1120 "≨︀" =>
"8",
1133 "∡" =>
"8",
1146 "∓" =>
"8",
1157 "⊸" =>
"8",
1170 "⩭̸" =>
"8",
1181 "≫" =>
"8",
1182 "≪" =>
"8",
1191 "⩾̸" =>
"8",
1211 "⇍" =>
"8",
1212 "↚" =>
"8",
1213 "⇎" =>
"8",
1214 "↮" =>
"8",
1217 "⩽̸" =>
"8",
1231 "≢" =>
"8",
1232 "∦" =>
"8",
1233 "∉" =>
"8",
1234 "≠" =>
"8",
1235 "∄" =>
"8",
1236 "≯" =>
"8",
1237 "≱" =>
"8",
1238 "≧̸" =>
"8",
1239 "≫̸" =>
"8",
1240 "≹" =>
"8",
1241 "⩾̸" =>
"8",
1242 "≵" =>
"8",
1244 "⋵̸" =>
"8",
1249 "⋪" =>
"8",
1250 "⋬" =>
"8",
1252 "≰" =>
"8",
1253 "&NotLessFullEqual;" =>
"8",
1254 "≸" =>
"8",
1255 "≪̸" =>
"8",
1256 "⩽̸" =>
"8",
1257 "≴" =>
"8",
1262 "⊀" =>
"8",
1263 "⪯̸" =>
"8",
1264 "⋠" =>
"8",
1265 "∌" =>
"8",
1266 "⋫" =>
"8",
1267 "⋭" =>
"8",
1268 "⋢" =>
"8",
1269 "⋣" =>
"8",
1270 "⊂⃒" =>
"8",
1271 "⊁" =>
"8",
1272 "⪰̸" =>
"8",
1273 "⋡" =>
"8",
1274 "⊃⃒" =>
"8",
1275 "≁" =>
"8",
1276 "≄" =>
"8",
1277 "≇" =>
"8",
1278 "≉" =>
"8",
1279 "∤" =>
"8",
1281 "∦" =>
"8",
1294 "⇏" =>
"8",
1295 "↛" =>
"8",
1303 "∤" =>
"8",
1304 "∦" =>
"8",
1316 "⊈" =>
"8",
1317 "⫅̸" =>
"8",
1324 "⊉" =>
"8",
1325 "⫆̸" =>
"8",
1328 "⋪" =>
"8",
1329 "⋬" =>
"8",
1330 "⋫" =>
"8",
1331 "⋭" =>
"8",
1383 "“" =>
"8",
1384 "‘" =>
"8",
1405 "⨶" =>
"8",
1407 "&OverLine;" =>
"8",
1410 "∥" =>
"8",
1414 "∂" =>
"8",
1428 "⋔" =>
"8",
1433 "⨣" =>
"8",
1439 "±" =>
"8",
1444 "⨕" =>
"8",
1454 "⪷" =>
"8",
1455 "≼" =>
"8",
1456 "≺" =>
"8",
1457 "⪯" =>
"8",
1458 "≼" =>
"8",
1459 "≾" =>
"8",
1461 "⪹" =>
"8",
1462 "⪵" =>
"8",
1463 "⋨" =>
"8",
1470 "⌮" =>
"8",
1471 "⌒" =>
"8",
1472 "⌓" =>
"8",
1474 "∷" =>
"8",
1475 "∝" =>
"8",
1498 "⦳" =>
"8",
1542 "∋" =>
"8",
1543 "⇋" =>
"8",
1544 "⥯" =>
"8",
1555 "⟩" =>
"8",
1556 "→" =>
"8",
1557 "⇒" =>
"8",
1558 "→" =>
"8",
1559 "⇄" =>
"8",
1560 "↣" =>
"8",
1561 "⌉" =>
"8",
1562 "⇂" =>
"8",
1563 "⌋" =>
"8",
1564 "⇁" =>
"8",
1565 "⇀" =>
"8",
1566 "⇄" =>
"8",
1567 "⇌" =>
"8",
1568 "⇉" =>
"8",
1569 "↝" =>
"8",
1570 "⊢" =>
"8",
1571 "↦" =>
"8",
1572 "⋌" =>
"8",
1573 "⊳" =>
"8",
1574 "⊵" =>
"8",
1575 "↾" =>
"8",
1576 "⇀" =>
"8",
1578 "≓" =>
"8",
1582 "⎱" =>
"8",
1593 "⨒" =>
"8",
1595 "⇛" =>
"8",
1608 "⧎" =>
"8",
1620 "⨓" =>
"8",
1632 "∖" =>
"8",
1639 "←" =>
"8",
1640 "∣" =>
"8",
1641 "∥" =>
"8",
1642 "→" =>
"8",
1659 "∘" =>
"8",
1660 "&smallfrown;" =>
"8",
1661 "∖" =>
"8",
1662 "&smallsmile;" =>
"8",
1664 "⧤" =>
"8",
1675 "♠" =>
"8",
1684 "⊏" =>
"8",
1685 "⊑" =>
"8",
1688 "⊐" =>
"8",
1689 "⊒" =>
"8",
1692 "⊓" =>
"8",
1693 "⊏" =>
"8",
1694 "⊑" =>
"8",
1695 "⊐" =>
"8",
1696 "⊒" =>
"8",
1697 "⊔" =>
"8",
1700 "&squarfbl;" =>
"8",
1701 "&squarfbr;" =>
"8",
1705 "&squarftl;" =>
"8",
1706 "&squarftr;" =>
"8",
1717 "ϵ" =>
"8",
1718 "ϕ" =>
"8",
1733 "⊆" =>
"8",
1734 "⫅" =>
"8",
1735 "⊆" =>
"8",
1736 "⊊" =>
"8",
1737 "⫋" =>
"8",
1742 "⪸" =>
"8",
1743 "≽" =>
"8",
1744 "≻" =>
"8",
1745 "⪰" =>
"8",
1746 "≽" =>
"8",
1747 "≿" =>
"8",
1749 "⪺" =>
"8",
1750 "⪶" =>
"8",
1751 "⋩" =>
"8",
1753 "∋" =>
"8",
1767 "⊃" =>
"8",
1768 "⊇" =>
"8",
1778 "⊇" =>
"8",
1779 "⫆" =>
"8",
1780 "⊋" =>
"8",
1781 "⫌" =>
"8",
1798 "∴" =>
"8",
1799 "∴" =>
"8",
1803 "≈" =>
"8",
1804 "∼" =>
"8",
1810 "≃" =>
"8",
1811 "≅" =>
"8",
1812 "≈" =>
"8",
1815 "⨱" =>
"8",
1827 "▵" =>
"8",
1828 "▿" =>
"8",
1829 "◃" =>
"8",
1830 "⊴" =>
"8",
1831 "≜" =>
"8",
1832 "▹" =>
"8",
1833 "⊵" =>
"8",
1836 "⨺" =>
"8",
1837 "⃛" =>
"8",
1841 "⏢" =>
"8",
1845 "↞" =>
"8",
1846 "↠" =>
"8",
1850 "⥉" =>
"8",
1861 "⌜" =>
"8",
1865 "&UnderLine;" =>
"8",
1867 "⊎" =>
"8",
1872 "⇅" =>
"8",
1873 "↕" =>
"8",
1874 "⇕" =>
"8",
1875 "↕" =>
"8",
1876 "⥮" =>
"8",
1877 "↿" =>
"8",
1878 "↾" =>
"8",
1880 "↖" =>
"8",
1881 "↗" =>
"8",
1887 "⇈" =>
"8",
1889 "⌝" =>
"8",
1900 "ϵ" =>
"8",
1901 "ϰ" =>
"8",
1902 "∅" =>
"8",
1905 "∝" =>
"8",
1909 "ς" =>
"8",
1910 "⊊︀" =>
"8",
1911 "⫋︀" =>
"8",
1912 "⊋︀" =>
"8",
1913 "⫌︀" =>
"8",
1914 "ϑ" =>
"8",
1915 "⊲" =>
"8",
1916 "⊳" =>
"8",
1934 "∣" =>
"8",
1935 "≀" =>
"8",
2013 $this->linkscripts = array(
2020 "8" =>
"donothing");