Bug 8559

--- /Volumes/Ernie/WebKit/LayoutTests/fast/parser/entities-in-xhtml-expected.txt 2006-04-17 19:53:51.000000000 -0400 +++ /tmp/layout-test-results/fast/parser/entities-in-xhtml-actual.txt 2006-04-24 02:15:23.000000000 -0400 @@ -3547,14 +3547,14 @@ RenderText {#text} at (2,2) size 20x18 text run at (2,2) width 20: "piv" RenderTableCell {td} at (235,1250) size 57x22 [border: (1px inset #808080)] [r=52 c=3 rs=1 cs=1] - RenderText {#text} at (2,2) size 11x18 - text run at (2,2) width 11: "\x{3D6}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{3D6}" RenderTableCell {td} at (294,1250) size 65x22 [border: (1px inset #808080)] [r=52 c=4 rs=1 cs=1] - RenderText {#text} at (2,2) size 11x18 - text run at (2,2) width 11: "\x{3D6}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{3D6}" RenderTableCell {td} at (361,1250) size 60x22 [border: (1px inset #808080)] [r=52 c=5 rs=1 cs=1] - RenderText {#text} at (2,2) size 11x18 - text run at (2,2) width 11: "\x{3D6}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{3D6}" RenderTableRow {tr} at (0,1274) size 423x22 RenderTableCell {td} at (2,1274) size 56x22 [border: (1px inset #808080)] [r=53 c=0 rs=1 cs=1] RenderText {#text} at (2,2) size 32x18 @@ -3604,14 +3604,14 @@ RenderText {#text} at (2,2) size 36x18 text run at (2,2) width 36: "prime" RenderTableCell {td} at (235,1322) size 57x22 [border: (1px inset #808080)] [r=55 c=3 rs=1 cs=1] - RenderText {#text} at (2,2) size 4x18 - text run at (2,2) width 4: "\x{2032}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2032}" RenderTableCell {td} at (294,1322) size 65x22 [border: (1px inset #808080)] [r=55 c=4 rs=1 cs=1] - RenderText {#text} at (2,2) size 4x18 - text run at (2,2) width 4: "\x{2032}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2032}" RenderTableCell {td} at (361,1322) size 60x22 [border: (1px inset #808080)] [r=55 c=5 rs=1 cs=1] - RenderText {#text} at (2,2) size 4x18 - text run at (2,2) width 4: "\x{2032}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2032}" RenderTableRow {tr} at (0,1346) size 423x22 RenderTableCell {td} at (2,1346) size 56x22 [border: (1px inset #808080)] [r=56 c=0 rs=1 cs=1] RenderText {#text} at (2,2) size 32x18 @@ -3623,14 +3623,14 @@ RenderText {#text} at (2,2) size 37x18 text run at (2,2) width 37: "Prime" RenderTableCell {td} at (235,1346) size 57x22 [border: (1px inset #808080)] [r=56 c=3 rs=1 cs=1] - RenderText {#text} at (2,2) size 7x18 - text run at (2,2) width 7: "\x{2033}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2033}" RenderTableCell {td} at (294,1346) size 65x22 [border: (1px inset #808080)] [r=56 c=4 rs=1 cs=1] - RenderText {#text} at (2,2) size 7x18 - text run at (2,2) width 7: "\x{2033}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2033}" RenderTableCell {td} at (361,1346) size 60x22 [border: (1px inset #808080)] [r=56 c=5 rs=1 cs=1] - RenderText {#text} at (2,2) size 7x18 - text run at (2,2) width 7: "\x{2033}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2033}" RenderTableRow {tr} at (0,1370) size 423x22 RenderTableCell {td} at (2,1370) size 56x22 [border: (1px inset #808080)] [r=57 c=0 rs=1 cs=1] RenderText {#text} at (2,2) size 32x18 @@ -3680,14 +3680,14 @@ RenderText {#text} at (2,2) size 43x18 text run at (2,2) width 43: "weierp" RenderTableCell {td} at (235,1418) size 57x22 [border: (1px inset #808080)] [r=59 c=3 rs=1 cs=1] - RenderText {#text} at (2,2) size 16x18 - text run at (2,2) width 16: "\x{2118}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2118}" RenderTableCell {td} at (294,1418) size 65x22 [border: (1px inset #808080)] [r=59 c=4 rs=1 cs=1] - RenderText {#text} at (2,2) size 16x18 - text run at (2,2) width 16: "\x{2118}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2118}" RenderTableCell {td} at (361,1418) size 60x22 [border: (1px inset #808080)] [r=59 c=5 rs=1 cs=1] - RenderText {#text} at (2,2) size 16x18 - text run at (2,2) width 16: "\x{2118}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2118}" RenderTableRow {tr} at (0,1442) size 423x22 RenderTableCell {td} at (2,1442) size 56x22 [border: (1px inset #808080)] [r=60 c=0 rs=1 cs=1] RenderText {#text} at (2,2) size 32x18 @@ -3699,14 +3699,14 @@ RenderText {#text} at (2,2) size 38x18 text run at (2,2) width 38: "image" RenderTableCell {td} at (235,1442) size 57x22 [border: (1px inset #808080)] [r=60 c=3 rs=1 cs=1] - RenderText {#text} at (2,2) size 11x18 - text run at (2,2) width 11: "\x{2111}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2111}" RenderTableCell {td} at (294,1442) size 65x22 [border: (1px inset #808080)] [r=60 c=4 rs=1 cs=1] - RenderText {#text} at (2,2) size 11x18 - text run at (2,2) width 11: "\x{2111}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2111}" RenderTableCell {td} at (361,1442) size 60x22 [border: (1px inset #808080)] [r=60 c=5 rs=1 cs=1] - RenderText {#text} at (2,2) size 11x18 - text run at (2,2) width 11: "\x{2111}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2111}" RenderTableRow {tr} at (0,1466) size 423x22 RenderTableCell {td} at (2,1466) size 56x22 [border: (1px inset #808080)] [r=61 c=0 rs=1 cs=1] RenderText {#text} at (2,2) size 32x18 @@ -3718,14 +3718,14 @@ RenderText {#text} at (2,2) size 23x18 text run at (2,2) width 23: "real" RenderTableCell {td} at (235,1466) size 57x22 [border: (1px inset #808080)] [r=61 c=3 rs=1 cs=1] - RenderText {#text} at (2,2) size 13x18 - text run at (2,2) width 13: "\x{211C}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{211C}" RenderTableCell {td} at (294,1466) size 65x22 [border: (1px inset #808080)] [r=61 c=4 rs=1 cs=1] - RenderText {#text} at (2,2) size 13x18 - text run at (2,2) width 13: "\x{211C}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{211C}" RenderTableCell {td} at (361,1466) size 60x22 [border: (1px inset #808080)] [r=61 c=5 rs=1 cs=1] - RenderText {#text} at (2,2) size 13x18 - text run at (2,2) width 13: "\x{211C}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{211C}" RenderTableRow {tr} at (0,1490) size 423x22 RenderTableCell {td} at (2,1490) size 56x22 [border: (1px inset #808080)] [r=62 c=0 rs=1 cs=1] RenderText {#text} at (2,2) size 32x18 @@ -3756,14 +3756,14 @@ RenderText {#text} at (2,2) size 49x18 text run at (2,2) width 49: "alefsym" RenderTableCell {td} at (235,1514) size 57x22 [border: (1px inset #808080)] [r=63 c=3 rs=1 cs=1] - RenderText {#text} at (2,2) size 13x18 - text run at (2,2) width 13: "\x{2135}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2135}" RenderTableCell {td} at (294,1514) size 65x22 [border: (1px inset #808080)] [r=63 c=4 rs=1 cs=1] - RenderText {#text} at (2,2) size 13x18 - text run at (2,2) width 13: "\x{2135}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2135}" RenderTableCell {td} at (361,1514) size 60x22 [border: (1px inset #808080)] [r=63 c=5 rs=1 cs=1] - RenderText {#text} at (2,2) size 13x18 - text run at (2,2) width 13: "\x{2135}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2135}" RenderTableRow {tr} at (0,1538) size 423x22 RenderTableCell {td} at (2,1538) size 56x22 [border: (1px inset #808080)] [r=64 c=0 rs=1 cs=1] RenderText {#text} at (2,2) size 32x18 @@ -3775,14 +3775,14 @@ RenderText {#text} at (2,2) size 21x18 text run at (2,2) width 21: "larr" RenderTableCell {td} at (235,1538) size 57x22 [border: (1px inset #808080)] [r=64 c=3 rs=1 cs=1] - RenderText {#text} at (2,2) size 16x18 - text run at (2,2) width 16: "\x{2190}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2190}" RenderTableCell {td} at (294,1538) size 65x22 [border: (1px inset #808080)] [r=64 c=4 rs=1 cs=1] - RenderText {#text} at (2,2) size 16x18 - text run at (2,2) width 16: "\x{2190}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2190}" RenderTableCell {td} at (361,1538) size 60x22 [border: (1px inset #808080)] [r=64 c=5 rs=1 cs=1] - RenderText {#text} at (2,2) size 16x18 - text run at (2,2) width 16: "\x{2190}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2190}" RenderTableRow {tr} at (0,1562) size 423x22 RenderTableCell {td} at (2,1562) size 56x22 [border: (1px inset #808080)] [r=65 c=0 rs=1 cs=1] RenderText {#text} at (2,2) size 32x18 @@ -3813,14 +3813,14 @@ RenderText {#text} at (2,2) size 22x18 text run at (2,2) width 22: "rarr" RenderTableCell {td} at (235,1586) size 57x22 [border: (1px inset #808080)] [r=66 c=3 rs=1 cs=1] - RenderText {#text} at (2,2) size 16x18 - text run at (2,2) width 16: "\x{2192}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2192}" RenderTableCell {td} at (294,1586) size 65x22 [border: (1px inset #808080)] [r=66 c=4 rs=1 cs=1] - RenderText {#text} at (2,2) size 16x18 - text run at (2,2) width 16: "\x{2192}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2192}" RenderTableCell {td} at (361,1586) size 60x22 [border: (1px inset #808080)] [r=66 c=5 rs=1 cs=1] - RenderText {#text} at (2,2) size 16x18 - text run at (2,2) width 16: "\x{2192}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2192}" RenderTableRow {tr} at (0,1610) size 423x22 RenderTableCell {td} at (2,1610) size 56x22 [border: (1px inset #808080)] [r=67 c=0 rs=1 cs=1] RenderText {#text} at (2,2) size 32x18 @@ -3851,14 +3851,14 @@ RenderText {#text} at (2,2) size 25x18 text run at (2,2) width 25: "harr" RenderTableCell {td} at (235,1634) size 57x22 [border: (1px inset #808080)] [r=68 c=3 rs=1 cs=1] - RenderText {#text} at (2,2) size 17x18 - text run at (2,2) width 17: "\x{2194}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2194}" RenderTableCell {td} at (294,1634) size 65x22 [border: (1px inset #808080)] [r=68 c=4 rs=1 cs=1] - RenderText {#text} at (2,2) size 17x18 - text run at (2,2) width 17: "\x{2194}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2194}" RenderTableCell {td} at (361,1634) size 60x22 [border: (1px inset #808080)] [r=68 c=5 rs=1 cs=1] - RenderText {#text} at (2,2) size 17x18 - text run at (2,2) width 17: "\x{2194}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2194}" RenderTableRow {tr} at (0,1658) size 423x22 RenderTableCell {td} at (2,1658) size 56x22 [border: (1px inset #808080)] [r=69 c=0 rs=1 cs=1] RenderText {#text} at (2,2) size 32x18 @@ -3870,14 +3870,14 @@ RenderText {#text} at (2,2) size 29x18 text run at (2,2) width 29: "crarr" RenderTableCell {td} at (235,1658) size 57x22 [border: (1px inset #808080)] [r=69 c=3 rs=1 cs=1] - RenderText {#text} at (2,2) size 11x18 - text run at (2,2) width 11: "\x{21B5}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{21B5}" RenderTableCell {td} at (294,1658) size 65x22 [border: (1px inset #808080)] [r=69 c=4 rs=1 cs=1] - RenderText {#text} at (2,2) size 11x18 - text run at (2,2) width 11: "\x{21B5}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{21B5}" RenderTableCell {td} at (361,1658) size 60x22 [border: (1px inset #808080)] [r=69 c=5 rs=1 cs=1] - RenderText {#text} at (2,2) size 11x18 - text run at (2,2) width 11: "\x{21B5}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{21B5}" RenderTableRow {tr} at (0,1682) size 423x22 RenderTableCell {td} at (2,1682) size 56x22 [border: (1px inset #808080)] [r=70 c=0 rs=1 cs=1] RenderText {#text} at (2,2) size 32x18 @@ -3889,14 +3889,14 @@ RenderText {#text} at (2,2) size 26x18 text run at (2,2) width 26: "lArr" RenderTableCell {td} at (235,1682) size 57x22 [border: (1px inset #808080)] [r=70 c=3 rs=1 cs=1] - RenderText {#text} at (2,2) size 16x18 - text run at (2,2) width 16: "\x{21D0}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{21D0}" RenderTableCell {td} at (294,1682) size 65x22 [border: (1px inset #808080)] [r=70 c=4 rs=1 cs=1] - RenderText {#text} at (2,2) size 16x18 - text run at (2,2) width 16: "\x{21D0}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{21D0}" RenderTableCell {td} at (361,1682) size 60x22 [border: (1px inset #808080)] [r=70 c=5 rs=1 cs=1] - RenderText {#text} at (2,2) size 16x18 - text run at (2,2) width 16: "\x{21D0}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{21D0}" RenderTableRow {tr} at (0,1706) size 423x22 RenderTableCell {td} at (2,1706) size 56x22 [border: (1px inset #808080)] [r=71 c=0 rs=1 cs=1] RenderText {#text} at (2,2) size 32x18 @@ -3927,14 +3927,14 @@ RenderText {#text} at (2,2) size 27x18 text run at (2,2) width 27: "rArr" RenderTableCell {td} at (235,1730) size 57x22 [border: (1px inset #808080)] [r=72 c=3 rs=1 cs=1] - RenderText {#text} at (2,2) size 16x18 - text run at (2,2) width 16: "\x{21D2}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{21D2}" RenderTableCell {td} at (294,1730) size 65x22 [border: (1px inset #808080)] [r=72 c=4 rs=1 cs=1] - RenderText {#text} at (2,2) size 16x18 - text run at (2,2) width 16: "\x{21D2}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{21D2}" RenderTableCell {td} at (361,1730) size 60x22 [border: (1px inset #808080)] [r=72 c=5 rs=1 cs=1] - RenderText {#text} at (2,2) size 16x18 - text run at (2,2) width 16: "\x{21D2}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{21D2}" RenderTableRow {tr} at (0,1754) size 423x22 RenderTableCell {td} at (2,1754) size 56x22 [border: (1px inset #808080)] [r=73 c=0 rs=1 cs=1] RenderText {#text} at (2,2) size 32x18 @@ -3965,14 +3965,14 @@ RenderText {#text} at (2,2) size 30x18 text run at (2,2) width 30: "hArr" RenderTableCell {td} at (235,1778) size 57x22 [border: (1px inset #808080)] [r=74 c=3 rs=1 cs=1] - RenderText {#text} at (2,2) size 17x18 - text run at (2,2) width 17: "\x{21D4}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{21D4}" RenderTableCell {td} at (294,1778) size 65x22 [border: (1px inset #808080)] [r=74 c=4 rs=1 cs=1] - RenderText {#text} at (2,2) size 17x18 - text run at (2,2) width 17: "\x{21D4}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{21D4}" RenderTableCell {td} at (361,1778) size 60x22 [border: (1px inset #808080)] [r=74 c=5 rs=1 cs=1] - RenderText {#text} at (2,2) size 17x18 - text run at (2,2) width 17: "\x{21D4}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{21D4}" RenderTableRow {tr} at (0,1802) size 423x22 RenderTableCell {td} at (2,1802) size 56x22 [border: (1px inset #808080)] [r=75 c=0 rs=1 cs=1] RenderText {#text} at (2,2) size 32x18 @@ -3984,14 +3984,14 @@ RenderText {#text} at (2,2) size 33x18 text run at (2,2) width 33: "forall" RenderTableCell {td} at (235,1802) size 57x22 [border: (1px inset #808080)] [r=75 c=3 rs=1 cs=1] - RenderText {#text} at (2,2) size 11x18 - text run at (2,2) width 11: "\x{2200}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2200}" RenderTableCell {td} at (294,1802) size 65x22 [border: (1px inset #808080)] [r=75 c=4 rs=1 cs=1] - RenderText {#text} at (2,2) size 11x18 - text run at (2,2) width 11: "\x{2200}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2200}" RenderTableCell {td} at (361,1802) size 60x22 [border: (1px inset #808080)] [r=75 c=5 rs=1 cs=1] - RenderText {#text} at (2,2) size 11x18 - text run at (2,2) width 11: "\x{2200}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2200}" RenderTableRow {tr} at (0,1826) size 423x22 RenderTableCell {td} at (2,1826) size 56x22 [border: (1px inset #808080)] [r=76 c=0 rs=1 cs=1] RenderText {#text} at (2,2) size 32x18 @@ -4022,14 +4022,14 @@ RenderText {#text} at (2,2) size 29x18 text run at (2,2) width 29: "exist" RenderTableCell {td} at (235,1850) size 57x22 [border: (1px inset #808080)] [r=77 c=3 rs=1 cs=1] - RenderText {#text} at (2,2) size 9x18 - text run at (2,2) width 9: "\x{2203}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2203}" RenderTableCell {td} at (294,1850) size 65x22 [border: (1px inset #808080)] [r=77 c=4 rs=1 cs=1] - RenderText {#text} at (2,2) size 9x18 - text run at (2,2) width 9: "\x{2203}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2203}" RenderTableCell {td} at (361,1850) size 60x22 [border: (1px inset #808080)] [r=77 c=5 rs=1 cs=1] - RenderText {#text} at (2,2) size 9x18 - text run at (2,2) width 9: "\x{2203}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2203}" RenderTableRow {tr} at (0,1874) size 423x22 RenderTableCell {td} at (2,1874) size 56x22 [border: (1px inset #808080)] [r=78 c=0 rs=1 cs=1] RenderText {#text} at (2,2) size 32x18 @@ -4041,14 +4041,14 @@ RenderText {#text} at (2,2) size 39x18 text run at (2,2) width 39: "empty" RenderTableCell {td} at (235,1874) size 57x22 [border: (1px inset #808080)] [r=78 c=3 rs=1 cs=1] - RenderText {#text} at (2,2) size 13x18 - text run at (2,2) width 13: "\x{2205}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2205}" RenderTableCell {td} at (294,1874) size 65x22 [border: (1px inset #808080)] [r=78 c=4 rs=1 cs=1] - RenderText {#text} at (2,2) size 13x18 - text run at (2,2) width 13: "\x{2205}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2205}" RenderTableCell {td} at (361,1874) size 60x22 [border: (1px inset #808080)] [r=78 c=5 rs=1 cs=1] - RenderText {#text} at (2,2) size 13x18 - text run at (2,2) width 13: "\x{2205}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2205}" RenderTableRow {tr} at (0,1898) size 423x22 RenderTableCell {td} at (2,1898) size 56x22 [border: (1px inset #808080)] [r=79 c=0 rs=1 cs=1] RenderText {#text} at (2,2) size 32x18 @@ -4060,14 +4060,14 @@ RenderText {#text} at (2,2) size 34x18 text run at (2,2) width 34: "nabla" RenderTableCell {td} at (235,1898) size 57x22 [border: (1px inset #808080)] [r=79 c=3 rs=1 cs=1] - RenderText {#text} at (2,2) size 11x18 - text run at (2,2) width 11: "\x{2207}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2207}" RenderTableCell {td} at (294,1898) size 65x22 [border: (1px inset #808080)] [r=79 c=4 rs=1 cs=1] - RenderText {#text} at (2,2) size 11x18 - text run at (2,2) width 11: "\x{2207}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2207}" RenderTableCell {td} at (361,1898) size 60x22 [border: (1px inset #808080)] [r=79 c=5 rs=1 cs=1] - RenderText {#text} at (2,2) size 11x18 - text run at (2,2) width 11: "\x{2207}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2207}" RenderTableRow {tr} at (0,1922) size 423x22 RenderTableCell {td} at (2,1922) size 56x22 [border: (1px inset #808080)] [r=80 c=0 rs=1 cs=1] RenderText {#text} at (2,2) size 32x18 @@ -4079,14 +4079,14 @@ RenderText {#text} at (2,2) size 22x18 text run at (2,2) width 22: "isin" RenderTableCell {td} at (235,1922) size 57x22 [border: (1px inset #808080)] [r=80 c=3 rs=1 cs=1] - RenderText {#text} at (2,2) size 11x18 - text run at (2,2) width 11: "\x{2208}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2208}" RenderTableCell {td} at (294,1922) size 65x22 [border: (1px inset #808080)] [r=80 c=4 rs=1 cs=1] - RenderText {#text} at (2,2) size 11x18 - text run at (2,2) width 11: "\x{2208}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2208}" RenderTableCell {td} at (361,1922) size 60x22 [border: (1px inset #808080)] [r=80 c=5 rs=1 cs=1] - RenderText {#text} at (2,2) size 11x18 - text run at (2,2) width 11: "\x{2208}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2208}" RenderTableRow {tr} at (0,1946) size 423x22 RenderTableCell {td} at (2,1946) size 56x22 [border: (1px inset #808080)] [r=81 c=0 rs=1 cs=1] RenderText {#text} at (2,2) size 32x18 @@ -4098,14 +4098,14 @@ RenderText {#text} at (2,2) size 32x18 text run at (2,2) width 32: "notin" RenderTableCell {td} at (235,1946) size 57x22 [border: (1px inset #808080)] [r=81 c=3 rs=1 cs=1] - RenderText {#text} at (2,2) size 11x18 - text run at (2,2) width 11: "\x{2209}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2209}" RenderTableCell {td} at (294,1946) size 65x22 [border: (1px inset #808080)] [r=81 c=4 rs=1 cs=1] - RenderText {#text} at (2,2) size 11x18 - text run at (2,2) width 11: "\x{2209}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2209}" RenderTableCell {td} at (361,1946) size 60x22 [border: (1px inset #808080)] [r=81 c=5 rs=1 cs=1] - RenderText {#text} at (2,2) size 11x18 - text run at (2,2) width 11: "\x{2209}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2209}" RenderTableRow {tr} at (0,1970) size 423x22 RenderTableCell {td} at (2,1970) size 56x22 [border: (1px inset #808080)] [r=82 c=0 rs=1 cs=1] RenderText {#text} at (2,2) size 32x18 @@ -4193,14 +4193,14 @@ RenderText {#text} at (2,2) size 41x18 text run at (2,2) width 41: "lowast" RenderTableCell {td} at (235,2066) size 57x22 [border: (1px inset #808080)] [r=86 c=3 rs=1 cs=1] - RenderText {#text} at (2,2) size 8x18 - text run at (2,2) width 8: "\x{2217}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2217}" RenderTableCell {td} at (294,2066) size 65x22 [border: (1px inset #808080)] [r=86 c=4 rs=1 cs=1] - RenderText {#text} at (2,2) size 8x18 - text run at (2,2) width 8: "\x{2217}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2217}" RenderTableCell {td} at (361,2066) size 60x22 [border: (1px inset #808080)] [r=86 c=5 rs=1 cs=1] - RenderText {#text} at (2,2) size 8x18 - text run at (2,2) width 8: "\x{2217}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2217}" RenderTableRow {tr} at (0,2090) size 423x22 RenderTableCell {td} at (2,2090) size 56x22 [border: (1px inset #808080)] [r=87 c=0 rs=1 cs=1] RenderText {#text} at (2,2) size 32x18 @@ -4231,14 +4231,14 @@ RenderText {#text} at (2,2) size 29x18 text run at (2,2) width 29: "prop" RenderTableCell {td} at (235,2114) size 57x22 [border: (1px inset #808080)] [r=88 c=3 rs=1 cs=1] - RenderText {#text} at (2,2) size 11x18 - text run at (2,2) width 11: "\x{221D}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{221D}" RenderTableCell {td} at (294,2114) size 65x22 [border: (1px inset #808080)] [r=88 c=4 rs=1 cs=1] - RenderText {#text} at (2,2) size 11x18 - text run at (2,2) width 11: "\x{221D}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{221D}" RenderTableCell {td} at (361,2114) size 60x22 [border: (1px inset #808080)] [r=88 c=5 rs=1 cs=1] - RenderText {#text} at (2,2) size 11x18 - text run at (2,2) width 11: "\x{221D}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{221D}" RenderTableRow {tr} at (0,2138) size 423x22 RenderTableCell {td} at (2,2138) size 56x22 [border: (1px inset #808080)] [r=89 c=0 rs=1 cs=1] RenderText {#text} at (2,2) size 32x18 @@ -4269,14 +4269,14 @@ RenderText {#text} at (2,2) size 23x18 text run at (2,2) width 23: "ang" RenderTableCell {td} at (235,2162) size 57x22 [border: (1px inset #808080)] [r=90 c=3 rs=1 cs=1] - RenderText {#text} at (2,2) size 12x18 - text run at (2,2) width 12: "\x{2220}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2220}" RenderTableCell {td} at (294,2162) size 65x22 [border: (1px inset #808080)] [r=90 c=4 rs=1 cs=1] - RenderText {#text} at (2,2) size 12x18 - text run at (2,2) width 12: "\x{2220}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2220}" RenderTableCell {td} at (361,2162) size 60x22 [border: (1px inset #808080)] [r=90 c=5 rs=1 cs=1] - RenderText {#text} at (2,2) size 12x18 - text run at (2,2) width 12: "\x{2220}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2220}" RenderTableRow {tr} at (0,2186) size 423x22 RenderTableCell {td} at (2,2186) size 56x22 [border: (1px inset #808080)] [r=91 c=0 rs=1 cs=1] RenderText {#text} at (2,2) size 32x18 @@ -4326,14 +4326,14 @@ RenderText {#text} at (2,2) size 22x18 text run at (2,2) width 22: "cap" RenderTableCell {td} at (235,2234) size 57x22 [border: (1px inset #808080)] [r=93 c=3 rs=1 cs=1] - RenderText {#text} at (2,2) size 12x18 - text run at (2,2) width 12: "\x{2229}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2229}" RenderTableCell {td} at (294,2234) size 65x22 [border: (1px inset #808080)] [r=93 c=4 rs=1 cs=1] - RenderText {#text} at (2,2) size 12x18 - text run at (2,2) width 12: "\x{2229}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2229}" RenderTableCell {td} at (361,2234) size 60x22 [border: (1px inset #808080)] [r=93 c=5 rs=1 cs=1] - RenderText {#text} at (2,2) size 12x18 - text run at (2,2) width 12: "\x{2229}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2229}" RenderTableRow {tr} at (0,2258) size 423x22 RenderTableCell {td} at (2,2258) size 56x22 [border: (1px inset #808080)] [r=94 c=0 rs=1 cs=1] RenderText {#text} at (2,2) size 32x18 @@ -4345,14 +4345,14 @@ RenderText {#text} at (2,2) size 23x18 text run at (2,2) width 23: "cup" RenderTableCell {td} at (235,2258) size 57x22 [border: (1px inset #808080)] [r=94 c=3 rs=1 cs=1] - RenderText {#text} at (2,2) size 12x18 - text run at (2,2) width 12: "\x{222A}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{222A}" RenderTableCell {td} at (294,2258) size 65x22 [border: (1px inset #808080)] [r=94 c=4 rs=1 cs=1] - RenderText {#text} at (2,2) size 12x18 - text run at (2,2) width 12: "\x{222A}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{222A}" RenderTableCell {td} at (361,2258) size 60x22 [border: (1px inset #808080)] [r=94 c=5 rs=1 cs=1] - RenderText {#text} at (2,2) size 12x18 - text run at (2,2) width 12: "\x{222A}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{222A}" RenderTableRow {tr} at (0,2282) size 423x22 RenderTableCell {td} at (2,2282) size 56x22 [border: (1px inset #808080)] [r=95 c=0 rs=1 cs=1] RenderText {#text} at (2,2) size 32x18 @@ -4383,14 +4383,14 @@ RenderText {#text} at (2,2) size 39x18 text run at (2,2) width 39: "there4" RenderTableCell {td} at (235,2306) size 57x22 [border: (1px inset #808080)] [r=96 c=3 rs=1 cs=1] - RenderText {#text} at (2,2) size 14x18 - text run at (2,2) width 14: "\x{2234}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2234}" RenderTableCell {td} at (294,2306) size 65x22 [border: (1px inset #808080)] [r=96 c=4 rs=1 cs=1] - RenderText {#text} at (2,2) size 14x18 - text run at (2,2) width 14: "\x{2234}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2234}" RenderTableCell {td} at (361,2306) size 60x22 [border: (1px inset #808080)] [r=96 c=5 rs=1 cs=1] - RenderText {#text} at (2,2) size 14x18 - text run at (2,2) width 14: "\x{2234}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2234}" RenderTableRow {tr} at (0,2330) size 423x22 RenderTableCell {td} at (2,2330) size 56x22 [border: (1px inset #808080)] [r=97 c=0 rs=1 cs=1] RenderText {#text} at (2,2) size 32x18 @@ -4402,14 +4402,14 @@ RenderText {#text} at (2,2) size 22x18 text run at (2,2) width 22: "sim" RenderTableCell {td} at (235,2330) size 57x22 [border: (1px inset #808080)] [r=97 c=3 rs=1 cs=1] - RenderText {#text} at (2,2) size 9x18 - text run at (2,2) width 9: "\x{223C}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{223C}" RenderTableCell {td} at (294,2330) size 65x22 [border: (1px inset #808080)] [r=97 c=4 rs=1 cs=1] - RenderText {#text} at (2,2) size 9x18 - text run at (2,2) width 9: "\x{223C}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{223C}" RenderTableCell {td} at (361,2330) size 60x22 [border: (1px inset #808080)] [r=97 c=5 rs=1 cs=1] - RenderText {#text} at (2,2) size 9x18 - text run at (2,2) width 9: "\x{223C}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{223C}" RenderTableRow {tr} at (0,2354) size 423x22 RenderTableCell {td} at (2,2354) size 56x22 [border: (1px inset #808080)] [r=98 c=0 rs=1 cs=1] RenderText {#text} at (2,2) size 32x18 @@ -4421,14 +4421,14 @@ RenderText {#text} at (2,2) size 31x18 text run at (2,2) width 31: "cong" RenderTableCell {td} at (235,2354) size 57x22 [border: (1px inset #808080)] [r=98 c=3 rs=1 cs=1] - RenderText {#text} at (2,2) size 9x18 - text run at (2,2) width 9: "\x{2245}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2245}" RenderTableCell {td} at (294,2354) size 65x22 [border: (1px inset #808080)] [r=98 c=4 rs=1 cs=1] - RenderText {#text} at (2,2) size 9x18 - text run at (2,2) width 9: "\x{2245}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2245}" RenderTableCell {td} at (361,2354) size 60x22 [border: (1px inset #808080)] [r=98 c=5 rs=1 cs=1] - RenderText {#text} at (2,2) size 9x18 - text run at (2,2) width 9: "\x{2245}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2245}" RenderTableRow {tr} at (0,2378) size 423x22 RenderTableCell {td} at (2,2378) size 56x22 [border: (1px inset #808080)] [r=99 c=0 rs=1 cs=1] RenderText {#text} at (2,2) size 32x18 @@ -4478,14 +4478,14 @@ RenderText {#text} at (2,2) size 35x18 text run at (2,2) width 35: "equiv" RenderTableCell {td} at (235,2426) size 57x22 [border: (1px inset #808080)] [r=101 c=3 rs=1 cs=1] - RenderText {#text} at (2,2) size 9x18 - text run at (2,2) width 9: "\x{2261}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2261}" RenderTableCell {td} at (294,2426) size 65x22 [border: (1px inset #808080)] [r=101 c=4 rs=1 cs=1] - RenderText {#text} at (2,2) size 9x18 - text run at (2,2) width 9: "\x{2261}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2261}" RenderTableCell {td} at (361,2426) size 60x22 [border: (1px inset #808080)] [r=101 c=5 rs=1 cs=1] - RenderText {#text} at (2,2) size 9x18 - text run at (2,2) width 9: "\x{2261}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2261}" RenderTableRow {tr} at (0,2450) size 423x22 RenderTableCell {td} at (2,2450) size 56x22 [border: (1px inset #808080)] [r=102 c=0 rs=1 cs=1] RenderText {#text} at (2,2) size 32x18 @@ -4535,14 +4535,14 @@ RenderText {#text} at (2,2) size 22x18 text run at (2,2) width 22: "sub" RenderTableCell {td} at (235,2498) size 57x22 [border: (1px inset #808080)] [r=104 c=3 rs=1 cs=1] - RenderText {#text} at (2,2) size 11x18 - text run at (2,2) width 11: "\x{2282}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2282}" RenderTableCell {td} at (294,2498) size 65x22 [border: (1px inset #808080)] [r=104 c=4 rs=1 cs=1] - RenderText {#text} at (2,2) size 11x18 - text run at (2,2) width 11: "\x{2282}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2282}" RenderTableCell {td} at (361,2498) size 60x22 [border: (1px inset #808080)] [r=104 c=5 rs=1 cs=1] - RenderText {#text} at (2,2) size 11x18 - text run at (2,2) width 11: "\x{2282}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2282}" RenderTableRow {tr} at (0,2522) size 423x22 RenderTableCell {td} at (2,2522) size 56x22 [border: (1px inset #808080)] [r=105 c=0 rs=1 cs=1] RenderText {#text} at (2,2) size 32x18 @@ -4554,14 +4554,14 @@ RenderText {#text} at (2,2) size 22x18 text run at (2,2) width 22: "sup" RenderTableCell {td} at (235,2522) size 57x22 [border: (1px inset #808080)] [r=105 c=3 rs=1 cs=1] - RenderText {#text} at (2,2) size 11x18 - text run at (2,2) width 11: "\x{2283}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2283}" RenderTableCell {td} at (294,2522) size 65x22 [border: (1px inset #808080)] [r=105 c=4 rs=1 cs=1] - RenderText {#text} at (2,2) size 11x18 - text run at (2,2) width 11: "\x{2283}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2283}" RenderTableCell {td} at (361,2522) size 60x22 [border: (1px inset #808080)] [r=105 c=5 rs=1 cs=1] - RenderText {#text} at (2,2) size 11x18 - text run at (2,2) width 11: "\x{2283}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2283}" RenderTableRow {tr} at (0,2546) size 423x22 RenderTableCell {td} at (2,2546) size 56x22 [border: (1px inset #808080)] [r=106 c=0 rs=1 cs=1] RenderText {#text} at (2,2) size 32x18 @@ -4573,14 +4573,14 @@ RenderText {#text} at (2,2) size 30x18 text run at (2,2) width 30: "nsub" RenderTableCell {td} at (235,2546) size 57x22 [border: (1px inset #808080)] [r=106 c=3 rs=1 cs=1] - RenderText {#text} at (2,2) size 11x18 - text run at (2,2) width 11: "\x{2284}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2284}" RenderTableCell {td} at (294,2546) size 65x22 [border: (1px inset #808080)] [r=106 c=4 rs=1 cs=1] - RenderText {#text} at (2,2) size 11x18 - text run at (2,2) width 11: "\x{2284}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2284}" RenderTableCell {td} at (361,2546) size 60x22 [border: (1px inset #808080)] [r=106 c=5 rs=1 cs=1] - RenderText {#text} at (2,2) size 11x18 - text run at (2,2) width 11: "\x{2284}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2284}" RenderTableRow {tr} at (0,2570) size 423x22 RenderTableCell {td} at (2,2570) size 56x22 [border: (1px inset #808080)] [r=107 c=0 rs=1 cs=1] RenderText {#text} at (2,2) size 32x18 @@ -4592,14 +4592,14 @@ RenderText {#text} at (2,2) size 29x18 text run at (2,2) width 29: "sube" RenderTableCell {td} at (235,2570) size 57x22 [border: (1px inset #808080)] [r=107 c=3 rs=1 cs=1] - RenderText {#text} at (2,2) size 11x18 - text run at (2,2) width 11: "\x{2286}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2286}" RenderTableCell {td} at (294,2570) size 65x22 [border: (1px inset #808080)] [r=107 c=4 rs=1 cs=1] - RenderText {#text} at (2,2) size 11x18 - text run at (2,2) width 11: "\x{2286}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2286}" RenderTableCell {td} at (361,2570) size 60x22 [border: (1px inset #808080)] [r=107 c=5 rs=1 cs=1] - RenderText {#text} at (2,2) size 11x18 - text run at (2,2) width 11: "\x{2286}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2286}" RenderTableRow {tr} at (0,2594) size 423x22 RenderTableCell {td} at (2,2594) size 56x22 [border: (1px inset #808080)] [r=108 c=0 rs=1 cs=1] RenderText {#text} at (2,2) size 32x18 @@ -4611,14 +4611,14 @@ RenderText {#text} at (2,2) size 29x18 text run at (2,2) width 29: "supe" RenderTableCell {td} at (235,2594) size 57x22 [border: (1px inset #808080)] [r=108 c=3 rs=1 cs=1] - RenderText {#text} at (2,2) size 11x18 - text run at (2,2) width 11: "\x{2287}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2287}" RenderTableCell {td} at (294,2594) size 65x22 [border: (1px inset #808080)] [r=108 c=4 rs=1 cs=1] - RenderText {#text} at (2,2) size 11x18 - text run at (2,2) width 11: "\x{2287}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2287}" RenderTableCell {td} at (361,2594) size 60x22 [border: (1px inset #808080)] [r=108 c=5 rs=1 cs=1] - RenderText {#text} at (2,2) size 11x18 - text run at (2,2) width 11: "\x{2287}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2287}" RenderTableRow {tr} at (0,2618) size 423x22 RenderTableCell {td} at (2,2618) size 56x22 [border: (1px inset #808080)] [r=109 c=0 rs=1 cs=1] RenderText {#text} at (2,2) size 32x18 @@ -4630,14 +4630,14 @@ RenderText {#text} at (2,2) size 34x18 text run at (2,2) width 34: "oplus" RenderTableCell {td} at (235,2618) size 57x22 [border: (1px inset #808080)] [r=109 c=3 rs=1 cs=1] - RenderText {#text} at (2,2) size 12x18 - text run at (2,2) width 12: "\x{2295}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2295}" RenderTableCell {td} at (294,2618) size 65x22 [border: (1px inset #808080)] [r=109 c=4 rs=1 cs=1] - RenderText {#text} at (2,2) size 12x18 - text run at (2,2) width 12: "\x{2295}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2295}" RenderTableCell {td} at (361,2618) size 60x22 [border: (1px inset #808080)] [r=109 c=5 rs=1 cs=1] - RenderText {#text} at (2,2) size 12x18 - text run at (2,2) width 12: "\x{2295}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2295}" RenderTableRow {tr} at (0,2642) size 423x22 RenderTableCell {td} at (2,2642) size 56x22 [border: (1px inset #808080)] [r=110 c=0 rs=1 cs=1] RenderText {#text} at (2,2) size 32x18 @@ -4649,14 +4649,14 @@ RenderText {#text} at (2,2) size 41x18 text run at (2,2) width 41: "otimes" RenderTableCell {td} at (235,2642) size 57x22 [border: (1px inset #808080)] [r=110 c=3 rs=1 cs=1] - RenderText {#text} at (2,2) size 12x18 - text run at (2,2) width 12: "\x{2297}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2297}" RenderTableCell {td} at (294,2642) size 65x22 [border: (1px inset #808080)] [r=110 c=4 rs=1 cs=1] - RenderText {#text} at (2,2) size 12x18 - text run at (2,2) width 12: "\x{2297}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2297}" RenderTableCell {td} at (361,2642) size 60x22 [border: (1px inset #808080)] [r=110 c=5 rs=1 cs=1] - RenderText {#text} at (2,2) size 12x18 - text run at (2,2) width 12: "\x{2297}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2297}" RenderTableRow {tr} at (0,2666) size 423x22 RenderTableCell {td} at (2,2666) size 56x22 [border: (1px inset #808080)] [r=111 c=0 rs=1 cs=1] RenderText {#text} at (2,2) size 32x18 @@ -4668,14 +4668,14 @@ RenderText {#text} at (2,2) size 28x18 text run at (2,2) width 28: "perp" RenderTableCell {td} at (235,2666) size 57x22 [border: (1px inset #808080)] [r=111 c=3 rs=1 cs=1] - RenderText {#text} at (2,2) size 11x18 - text run at (2,2) width 11: "\x{22A5}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{22A5}" RenderTableCell {td} at (294,2666) size 65x22 [border: (1px inset #808080)] [r=111 c=4 rs=1 cs=1] - RenderText {#text} at (2,2) size 11x18 - text run at (2,2) width 11: "\x{22A5}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{22A5}" RenderTableCell {td} at (361,2666) size 60x22 [border: (1px inset #808080)] [r=111 c=5 rs=1 cs=1] - RenderText {#text} at (2,2) size 11x18 - text run at (2,2) width 11: "\x{22A5}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{22A5}" RenderTableRow {tr} at (0,2690) size 423x22 RenderTableCell {td} at (2,2690) size 56x22 [border: (1px inset #808080)] [r=112 c=0 rs=1 cs=1] RenderText {#text} at (2,2) size 32x18 @@ -4687,14 +4687,14 @@ RenderText {#text} at (2,2) size 26x18 text run at (2,2) width 26: "sdot" RenderTableCell {td} at (235,2690) size 57x22 [border: (1px inset #808080)] [r=112 c=3 rs=1 cs=1] - RenderText {#text} at (2,2) size 4x18 - text run at (2,2) width 4: "\x{22C5}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{22C5}" RenderTableCell {td} at (294,2690) size 65x22 [border: (1px inset #808080)] [r=112 c=4 rs=1 cs=1] - RenderText {#text} at (2,2) size 4x18 - text run at (2,2) width 4: "\x{22C5}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{22C5}" RenderTableCell {td} at (361,2690) size 60x22 [border: (1px inset #808080)] [r=112 c=5 rs=1 cs=1] - RenderText {#text} at (2,2) size 4x18 - text run at (2,2) width 4: "\x{22C5}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{22C5}" RenderTableRow {tr} at (0,2714) size 423x22 RenderTableCell {td} at (2,2714) size 56x22 [border: (1px inset #808080)] [r=113 c=0 rs=1 cs=1] RenderText {#text} at (2,2) size 32x18 @@ -4839,14 +4839,14 @@ RenderText {#text} at (2,2) size 42x18 text run at (2,2) width 42: "spades" RenderTableCell {td} at (235,2882) size 57x22 [border: (1px inset #808080)] [r=120 c=3 rs=1 cs=1] - RenderText {#text} at (2,2) size 12x18 - text run at (2,2) width 12: "\x{2660}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2660}" RenderTableCell {td} at (294,2882) size 65x22 [border: (1px inset #808080)] [r=120 c=4 rs=1 cs=1] - RenderText {#text} at (2,2) size 12x18 - text run at (2,2) width 12: "\x{2660}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2660}" RenderTableCell {td} at (361,2882) size 60x22 [border: (1px inset #808080)] [r=120 c=5 rs=1 cs=1] - RenderText {#text} at (2,2) size 12x18 - text run at (2,2) width 12: "\x{2660}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2660}" RenderTableRow {tr} at (0,2906) size 423x22 RenderTableCell {td} at (2,2906) size 56x22 [border: (1px inset #808080)] [r=121 c=0 rs=1 cs=1] RenderText {#text} at (2,2) size 32x18 @@ -4858,14 +4858,14 @@ RenderText {#text} at (2,2) size 33x18 text run at (2,2) width 33: "clubs" RenderTableCell {td} at (235,2906) size 57x22 [border: (1px inset #808080)] [r=121 c=3 rs=1 cs=1] - RenderText {#text} at (2,2) size 12x18 - text run at (2,2) width 12: "\x{2663}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2663}" RenderTableCell {td} at (294,2906) size 65x22 [border: (1px inset #808080)] [r=121 c=4 rs=1 cs=1] - RenderText {#text} at (2,2) size 12x18 - text run at (2,2) width 12: "\x{2663}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2663}" RenderTableCell {td} at (361,2906) size 60x22 [border: (1px inset #808080)] [r=121 c=5 rs=1 cs=1] - RenderText {#text} at (2,2) size 12x18 - text run at (2,2) width 12: "\x{2663}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2663}" RenderTableRow {tr} at (0,2930) size 423x22 RenderTableCell {td} at (2,2930) size 56x22 [border: (1px inset #808080)] [r=122 c=0 rs=1 cs=1] RenderText {#text} at (2,2) size 32x18 @@ -4877,14 +4877,14 @@ RenderText {#text} at (2,2) size 37x18 text run at (2,2) width 37: "hearts" RenderTableCell {td} at (235,2930) size 57x22 [border: (1px inset #808080)] [r=122 c=3 rs=1 cs=1] - RenderText {#text} at (2,2) size 12x18 - text run at (2,2) width 12: "\x{2665}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2665}" RenderTableCell {td} at (294,2930) size 65x22 [border: (1px inset #808080)] [r=122 c=4 rs=1 cs=1] - RenderText {#text} at (2,2) size 12x18 - text run at (2,2) width 12: "\x{2665}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2665}" RenderTableCell {td} at (361,2930) size 60x22 [border: (1px inset #808080)] [r=122 c=5 rs=1 cs=1] - RenderText {#text} at (2,2) size 12x18 - text run at (2,2) width 12: "\x{2665}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2665}" RenderTableRow {tr} at (0,2954) size 423x22 RenderTableCell {td} at (2,2954) size 56x22 [border: (1px inset #808080)] [r=123 c=0 rs=1 cs=1] RenderText {#text} at (2,2) size 32x18 @@ -4896,11 +4896,11 @@ RenderText {#text} at (2,2) size 37x18 text run at (2,2) width 37: "diams" RenderTableCell {td} at (235,2954) size 57x22 [border: (1px inset #808080)] [r=123 c=3 rs=1 cs=1] - RenderText {#text} at (2,2) size 12x18 - text run at (2,2) width 12: "\x{2666}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2666}" RenderTableCell {td} at (294,2954) size 65x22 [border: (1px inset #808080)] [r=123 c=4 rs=1 cs=1] - RenderText {#text} at (2,2) size 12x18 - text run at (2,2) width 12: "\x{2666}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2666}" RenderTableCell {td} at (361,2954) size 60x22 [border: (1px inset #808080)] [r=123 c=5 rs=1 cs=1] - RenderText {#text} at (2,2) size 12x18 - text run at (2,2) width 12: "\x{2666}" + RenderText {#text} at (2,2) size 10x18 + text run at (2,2) width 10: "\x{2666}"