mathtype_to_mathml_plus 0.0.8

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (99) hide show
  1. checksums.yaml +7 -0
  2. data/.gitignore +14 -0
  3. data/.rspec +2 -0
  4. data/.ruby-version +1 -0
  5. data/.travis.yml +3 -0
  6. data/Gemfile +6 -0
  7. data/LICENSE.txt +22 -0
  8. data/README.md +45 -0
  9. data/Rakefile +7 -0
  10. data/lib/mathtype_to_mathml/char_replacer.rb +366 -0
  11. data/lib/mathtype_to_mathml/mover.rb +151 -0
  12. data/lib/mathtype_to_mathml/version.rb +3 -0
  13. data/lib/mathtype_to_mathml.rb +45 -0
  14. data/lib/transform.xsl +53 -0
  15. data/lib/xsl/arrow.xsl +319 -0
  16. data/lib/xsl/box.xsl +42 -0
  17. data/lib/xsl/char.xsl +1854 -0
  18. data/lib/xsl/embellishment.xsl +389 -0
  19. data/lib/xsl/fence.xsl +228 -0
  20. data/lib/xsl/frac.xsl +46 -0
  21. data/lib/xsl/int.xsl +622 -0
  22. data/lib/xsl/lim.xsl +32 -0
  23. data/lib/xsl/long_division.xsl +32 -0
  24. data/lib/xsl/long_embellishment.xsl +150 -0
  25. data/lib/xsl/matrix.xsl +115 -0
  26. data/lib/xsl/pile.xsl +54 -0
  27. data/lib/xsl/product_coproduct.xsl +107 -0
  28. data/lib/xsl/subsup.xsl +55 -0
  29. data/lib/xsl/sum.xsl +81 -0
  30. data/lib/xsl/union_intersection.xsl +104 -0
  31. data/mathtype_to_mathml.gemspec +29 -0
  32. data/spec/fixtures/expected/280.xml +122 -0
  33. data/spec/fixtures/expected/281.xml +60 -0
  34. data/spec/fixtures/expected/299.xml +70 -0
  35. data/spec/fixtures/expected/326.xml +173 -0
  36. data/spec/fixtures/expected/424.xml +425 -0
  37. data/spec/fixtures/expected/450.xml +174 -0
  38. data/spec/fixtures/expected/452.xml +166 -0
  39. data/spec/fixtures/expected/478.xml +303 -0
  40. data/spec/fixtures/expected/629.xml +98 -0
  41. data/spec/fixtures/expected/arrows.xml +389 -0
  42. data/spec/fixtures/expected/boxes.xml +22 -0
  43. data/spec/fixtures/expected/embellishments.xml +178 -0
  44. data/spec/fixtures/expected/embellishments_roots_long_divisions.xml +162 -0
  45. data/spec/fixtures/expected/equation1.xml +52 -0
  46. data/spec/fixtures/expected/equation10.xml +19 -0
  47. data/spec/fixtures/expected/equation11.xml +17 -0
  48. data/spec/fixtures/expected/equation12.xml +34 -0
  49. data/spec/fixtures/expected/equation13.xml +113 -0
  50. data/spec/fixtures/expected/equation14.xml +54 -0
  51. data/spec/fixtures/expected/equation2.xml +33 -0
  52. data/spec/fixtures/expected/equation3.xml +324 -0
  53. data/spec/fixtures/expected/equation4.xml +14 -0
  54. data/spec/fixtures/expected/equation5.xml +23 -0
  55. data/spec/fixtures/expected/equation6.xml +13 -0
  56. data/spec/fixtures/expected/equation7.xml +19 -0
  57. data/spec/fixtures/expected/equation8.xml +17 -0
  58. data/spec/fixtures/expected/equation9.xml +15 -0
  59. data/spec/fixtures/expected/fences.xml +64 -0
  60. data/spec/fixtures/expected/integrals.xml +264 -0
  61. data/spec/fixtures/expected/matrices.xml +253 -0
  62. data/spec/fixtures/expected/sums.xml +36 -0
  63. data/spec/fixtures/expected/unions_and_intersections.xml +140 -0
  64. data/spec/fixtures/input/280.bin +0 -0
  65. data/spec/fixtures/input/281.bin +0 -0
  66. data/spec/fixtures/input/299.bin +0 -0
  67. data/spec/fixtures/input/326.bin +0 -0
  68. data/spec/fixtures/input/424.bin +0 -0
  69. data/spec/fixtures/input/450.bin +0 -0
  70. data/spec/fixtures/input/452.bin +0 -0
  71. data/spec/fixtures/input/478.bin +0 -0
  72. data/spec/fixtures/input/629.bin +0 -0
  73. data/spec/fixtures/input/arrows.bin +0 -0
  74. data/spec/fixtures/input/boxes.bin +0 -0
  75. data/spec/fixtures/input/embellishments.bin +0 -0
  76. data/spec/fixtures/input/embellishments_roots_long_divisions.bin +0 -0
  77. data/spec/fixtures/input/equation1.bin +0 -0
  78. data/spec/fixtures/input/equation10.bin +0 -0
  79. data/spec/fixtures/input/equation11.bin +0 -0
  80. data/spec/fixtures/input/equation12.bin +0 -0
  81. data/spec/fixtures/input/equation13.bin +0 -0
  82. data/spec/fixtures/input/equation14.bin +0 -0
  83. data/spec/fixtures/input/equation2.bin +0 -0
  84. data/spec/fixtures/input/equation3.bin +0 -0
  85. data/spec/fixtures/input/equation4.bin +0 -0
  86. data/spec/fixtures/input/equation5.bin +0 -0
  87. data/spec/fixtures/input/equation6.bin +0 -0
  88. data/spec/fixtures/input/equation7.bin +0 -0
  89. data/spec/fixtures/input/equation8.bin +0 -0
  90. data/spec/fixtures/input/equation9.bin +0 -0
  91. data/spec/fixtures/input/fences.bin +0 -0
  92. data/spec/fixtures/input/integrals.bin +0 -0
  93. data/spec/fixtures/input/matrices.bin +0 -0
  94. data/spec/fixtures/input/sums.bin +0 -0
  95. data/spec/fixtures/input/unions_and_intersections.bin +0 -0
  96. data/spec/html_output.rb +28 -0
  97. data/spec/mathtype_to_mathml_spec.rb +16 -0
  98. data/spec/spec_helper.rb +4 -0
  99. metadata +305 -0
data/spec/fixtures/expected/integrals.xml ADDED
@@ -0,0 +1,264 @@
1
+ <math display='block'>
2
+ <semantics>
3
+ <mtable columnalign='left'>
4
+ <mtr>
5
+ <mtd>
6
+ <mstyle displaystyle='true'>
7
+ <mrow><mo>&#x222B;</mo>
8
+ <mrow>
9
+ <mi>a</mi><mo>+</mo><mstyle displaystyle='true'>
10
+ <mrow><munderover>
11
+ <mo>&#x222B;</mo>
12
+ <mi>c</mi>
13
+ <mi>a</mi>
14
+ </munderover>
15
+ <mrow>
16
+ <mi>b</mi><mo>+</mo></mrow>
17
+ </mrow>
18
+
19
+ </mstyle></mrow>
20
+ </mrow>
21
+
22
+ </mstyle><mstyle displaystyle='true'>
23
+ <mrow>
24
+ <msubsup>
25
+ <mo>&#x222B;</mo>
26
+ <mi>c</mi>
27
+ <mi>a</mi>
28
+ </msubsup>
29
+ <mrow>
30
+ <mi>b</mi><mo>+</mo></mrow>
31
+ </mrow>
32
+
33
+ </mstyle><mstyle displaystyle='true'>
34
+ <mrow><mo>&#x222B;</mo>
35
+ <mrow>
36
+ <mi>a</mi><mo>+</mo><mstyle displaystyle='true'>
37
+ <mrow>
38
+ <munder>
39
+ <mo>&#x222B;</mo>
40
+ <mi>b</mi>
41
+ </munder>
42
+ <mi>a</mi>
43
+ </mrow>
44
+
45
+ </mstyle></mrow>
46
+ </mrow>
47
+
48
+ </mstyle>
49
+ </mtd>
50
+ </mtr>
51
+ <mtr>
52
+ <mtd>
53
+ <mstyle displaystyle='true'>
54
+ <mrow><mo>&#x222C;</mo>
55
+ <mrow>
56
+ <mi>a</mi><mo>+</mo><mstyle displaystyle='true'>
57
+ <mrow>
58
+ <munder>
59
+ <mo>&#x222C;</mo>
60
+ <mi>b</mi>
61
+ </munder>
62
+ <mrow>
63
+ <mi>a</mi><mo>+</mo></mrow>
64
+ </mrow>
65
+
66
+ </mstyle></mrow>
67
+ </mrow>
68
+
69
+ </mstyle><mstyle displaystyle='true'>
70
+ <mrow>
71
+ <msub>
72
+ <mo>&#x222C;</mo>
73
+ <mi>b</mi>
74
+ </msub>
75
+ <mi>a</mi>
76
+ </mrow>
77
+
78
+ </mstyle>
79
+ </mtd>
80
+ </mtr>
81
+ <mtr>
82
+ <mtd>
83
+ <mstyle displaystyle='true'>
84
+ <mrow>
85
+ <mo>&#x222D;</mo>
86
+ <mrow>
87
+ <mi>a</mi><mo>+</mo><mstyle displaystyle='true'>
88
+ <mrow>
89
+ <munder>
90
+ <mo>&#x222D;</mo>
91
+ <mi>b</mi>
92
+ </munder>
93
+ <mrow>
94
+ <mi>a</mi><mo>+</mo></mrow>
95
+ </mrow>
96
+
97
+ </mstyle></mrow>
98
+ </mrow>
99
+
100
+ </mstyle><mstyle displaystyle='true'>
101
+ <mrow>
102
+ <msub>
103
+ <mo>&#x222D;</mo>
104
+ <mi>b</mi>
105
+ </msub>
106
+ <mi>a</mi>
107
+ </mrow>
108
+
109
+ </mstyle>
110
+ </mtd>
111
+ </mtr>
112
+ <mtr>
113
+ <mtd>
114
+ <mstyle displaystyle='true'>
115
+ <mrow><mo>&#x222E;</mo>
116
+ <mrow>
117
+ <mi>a</mi><mo>+</mo></mrow>
118
+ </mrow>
119
+
120
+ </mstyle><mstyle displaystyle='true'>
121
+ <mrow>
122
+ <munder>
123
+ <mo>&#x222E;</mo>
124
+ <mi>b</mi>
125
+ </munder>
126
+ <mrow>
127
+ <mi>a</mi><mo>+</mo></mrow>
128
+ </mrow>
129
+
130
+ </mstyle><mstyle displaystyle='true'>
131
+ <mrow>
132
+ <msub>
133
+ <mo>&#x222E;</mo>
134
+ <mi>b</mi>
135
+ </msub>
136
+ <mi>a</mi>
137
+ </mrow>
138
+
139
+ </mstyle>
140
+ </mtd>
141
+ </mtr>
142
+ <mtr>
143
+ <mtd>
144
+ <mstyle displaystyle='true'>
145
+ <mrow><mo>&#x222F;</mo>
146
+ <mrow>
147
+ <mi>a</mi><mo>+</mo><mstyle displaystyle='true'>
148
+ <mrow>
149
+ <munder>
150
+ <mo>&#x222F;</mo>
151
+ <mi>b</mi>
152
+ </munder>
153
+ <mi>a</mi>
154
+ </mrow>
155
+
156
+ </mstyle></mrow>
157
+ </mrow>
158
+ </mstyle><mo>+</mo><mstyle displaystyle='true'>
159
+ <mrow>
160
+ <msub>
161
+ <mo>&#x222F;</mo>
162
+ <mi>b</mi>
163
+ </msub>
164
+ <mi>a</mi>
165
+ </mrow>
166
+
167
+ </mstyle>
168
+ </mtd>
169
+ </mtr>
170
+ <mtr>
171
+ <mtd>
172
+ <mstyle displaystyle='true'>
173
+ <mrow>
174
+ <mo>&#x2230;</mo>
175
+ <mrow>
176
+ <mi>a</mi><mo>+</mo><mstyle displaystyle='true'>
177
+ <mrow>
178
+ <munder>
179
+ <mo>&#x2230;</mo>
180
+ <mi>b</mi>
181
+ </munder>
182
+ <mi>a</mi>
183
+ </mrow>
184
+
185
+ </mstyle></mrow>
186
+ </mrow>
187
+
188
+ </mstyle><mo>+</mo><mstyle displaystyle='true'>
189
+ <mrow>
190
+ <msub>
191
+ <mo>&#x2230;</mo>
192
+ <mi>b</mi>
193
+ </msub>
194
+ <mi>a</mi>
195
+ </mrow>
196
+
197
+ </mstyle>
198
+ </mtd>
199
+ </mtr>
200
+ <mtr>
201
+ <mtd>
202
+ <mstyle displaystyle='true'>
203
+ <mrow>
204
+ <mo>&#x2233;</mo>
205
+ <mrow>
206
+ <mi>a</mi><mo>+</mo><mstyle displaystyle='true'>
207
+ <mrow>
208
+ <munder>
209
+ <mo>&#x2233;</mo>
210
+ <mi>b</mi>
211
+ </munder>
212
+ <mrow>
213
+ <mi>a</mi><mo>+</mo><mstyle displaystyle='true'>
214
+ <mrow>
215
+ <msub>
216
+ <mo>&#x2233;</mo>
217
+ <mi>b</mi>
218
+ </msub>
219
+ <mi>a</mi>
220
+ </mrow>
221
+
222
+ </mstyle></mrow>
223
+ </mrow>
224
+
225
+ </mstyle></mrow>
226
+ </mrow>
227
+
228
+ </mstyle><mo>+</mo><mstyle displaystyle='true'>
229
+ <mrow>
230
+ <mo>&#x2232;</mo>
231
+ <mi>a</mi>
232
+ </mrow>
233
+
234
+ </mstyle>
235
+ </mtd>
236
+ </mtr>
237
+ <mtr>
238
+ <mtd>
239
+ <mstyle displaystyle='true'>
240
+ <mrow>
241
+ <munder>
242
+ <mo>&#x2232;</mo>
243
+ <mi>b</mi>
244
+ </munder>
245
+ <mi>a</mi>
246
+ </mrow>
247
+
248
+ </mstyle><mo>+</mo><mstyle displaystyle='true'>
249
+ <mrow>
250
+ <msub>
251
+ <mo>&#x2232;</mo>
252
+ <mi>b</mi>
253
+ </msub>
254
+ <mi>a</mi>
255
+ </mrow>
256
+
257
+ </mstyle>
258
+ </mtd>
259
+ </mtr>
260
+ </mtable>
261
+
262
+ <annotation encoding='MathType-MTEF'>MathType@MTEF@5@5@+=faaagCart1ev2aaaKnaaaaWenf2ys9wBH5garuavP1wzZbItLDhis9wBH5garmWu51MyVXgaruWqVvNCPvMCG4uz3bqee0evGueE0jxyaibaieYlf9irVeeu0dXdh9vqqj=hHeeu0xXdbba9frFj0=OqFfea0dXdd9vqaq=JfrVkFHe9pgea0dXdar=Jb9hs0dXdbPYxe9vr0=vr0=vqpi0dc9GqpWqaaeaabiGaciaacaqabeaadaqaaqaaaOabaeqabaWaa8qaaeaacaWGHbGaey4kaSYaa8qCaeaacaWGIbGaey4kaScaleaacaWGJbaabaGaamyyaaqdcqGHRiI8aaWcbeqab0Gaey4kIipakmaapedabaGaamOyaiabgUcaRaWcbaGaam4yaaqaaiaadggaa0Gaey4kIipakmaapeaabaGaamyyaiabgUcaRmaapefabaGaamyyaaWcbaGaamOyaaqab0Gaey4kIipaaSqabeqaniabgUIiYdaakeaadaWdcaqaaiaadggacqGHRaWkdaWdsbqaaiaadggacqGHRaWkaSqaaiaadkgaaeqaniabgUIiYlabgUIiYdaaleqabeqdcqGHRiI8cqGHRiI8aOWaa8GeaeaacaWGHbaaleaacaWGIbaabeqdcqGHRiI8cqGHRiI8aaGcbaWaa8WaaeaacaWGHbGaey4kaSYaa8WuaeaacaWGHbGaey4kaScaleaacaWGIbaabeqdcqGHRiI8cqGHRiI8cqGHRiI8aaWcbeqab0Gaey4kIiVaey4kIiVaey4kIipakmaapmbabaGaamyyaaWcbaGaamOyaaqab0Gaey4kIiVaey4kIiVaey4kIipaaOqaamaapuaabaGaamyyaiabgUcaRaWcbeqab0GaeSyeUhTaey4kIipakmaapufabaGaamyyaiabgUcaRaWcbaGaamOyaaqab0GaeSyeUhTaey4kIipakmaapubabaGaamyyaaWcbaGaamOyaaqab0GaeSyeUhTaey4kIipaaOqaamaapyaabaGaamyyaiabgUcaRmaapyfabaGaamyyaaWcbaGaamOyaaqab0GaeSOeUlTaey4kIiVaey4kIipaaSqabeqaniablkH7slabgUIiYlabgUIiYdGccqGHRaWkdaWdwaqaaiaadggaaSqaaiaadkgaaeqaniablkH7slabgUIiYlabgUIiYdaakeaadaWdhaqaaiaadggacqGHRaWkdaWdxbqaaiaadggaaSqaaiaadkgaaeqaniabloH7tlabgUIiYlabgUIiYlabgUIiYdaaleqabeqdcqWIt4+0cqGHRiI8cqGHRiI8cqGHRiI8aOGaey4kaSYaa8WfaeaacaWGHbaaleaacaWGIbaabeqdcqWIt4+0cqGHRiI8cqGHRiI8cqGHRiI8aaGcbaWaa8qdaeaacaWGHbGaey4kaSYaa8qxaeaacaWGHbGaey4kaSYaa8qhaeaacaWGHbaaleaacaWGIbaabeqdcqWIa4EAcqGHRiI8aaWcbaGaamOyaaqab0GaeSiaUNMaey4kIipaaSqabeqaniablcG7PjabgUIiYdGccqGHRaWkdaWdjaqaaiaadggaaSqabeqaniablgG7QjabgUIiYdaakeaadaWdzbqaaiaadggaaSqaaiaadkgaaeqaniablgG7QjabgUIiYdGccqGHRaWkdaWdzaqaaiaadggaaSqaaiaadkgaaeqaniablgG7QjabgUIiYdaaaaa@E48C@</annotation>
263
+ </semantics>
264
+ </math>
data/spec/fixtures/expected/matrices.xml ADDED
@@ -0,0 +1,253 @@
1
+ <math>
2
+ <semantics>
3
+ <mrow>
4
+ <mtable>
5
+ <mtr>
6
+ <mtd>
7
+ <mtable columnalign='left'>
8
+ <mtr>
9
+ <mtd>
10
+ <mi>d</mi>
11
+ </mtd>
12
+ </mtr>
13
+ <mtr>
14
+ <mtd>
15
+ <mi>g</mi>
16
+ </mtd>
17
+ </mtr>
18
+ <mtr>
19
+ <mtd>
20
+ <mi>b</mi>
21
+ </mtd>
22
+ </mtr>
23
+ <mtr>
24
+ <mtd>
25
+ <mi>a</mi>
26
+ </mtd>
27
+ </mtr>
28
+ <mtr>
29
+ <mtd>
30
+ <mi>b</mi>
31
+ </mtd>
32
+ </mtr>
33
+ <mtr>
34
+ <mtd>
35
+ <mi>c</mi>
36
+ </mtd>
37
+ </mtr>
38
+ </mtable>
39
+
40
+ </mtd>
41
+ <mtd>
42
+ <mtable columnalign='left'>
43
+ <mtr>
44
+ <mtd>
45
+ <mi>d</mi>
46
+ </mtd>
47
+ </mtr>
48
+ <mtr>
49
+ <mtd>
50
+ <mi>b</mi>
51
+ </mtd>
52
+ </mtr>
53
+ <mtr>
54
+ <mtd>
55
+ <mi>d</mi>
56
+ </mtd>
57
+ </mtr>
58
+ <mtr>
59
+ <mtd>
60
+ <mi>a</mi>
61
+ </mtd>
62
+ </mtr>
63
+ <mtr>
64
+ <mtd>
65
+ <mi>b</mi>
66
+ </mtd>
67
+ </mtr>
68
+ <mtr>
69
+ <mtd>
70
+ <mi>c</mi>
71
+ </mtd>
72
+ </mtr>
73
+ </mtable>
74
+
75
+ </mtd>
76
+ <mtd>
77
+ <mtable columnalign='left'>
78
+ <mtr>
79
+ <mtd>
80
+ <mi>c</mi>
81
+ </mtd>
82
+ </mtr>
83
+ <mtr>
84
+ <mtd>
85
+ <mi>b</mi>
86
+ </mtd>
87
+ </mtr>
88
+ <mtr>
89
+ <mtd>
90
+ <mi>d</mi>
91
+ </mtd>
92
+ </mtr>
93
+ <mtr>
94
+ <mtd>
95
+ <mi>d</mi>
96
+ </mtd>
97
+ </mtr>
98
+ <mtr>
99
+ <mtd>
100
+ <mi>b</mi>
101
+ </mtd>
102
+ </mtr>
103
+ <mtr>
104
+ <mtd>
105
+ <mi>e</mi>
106
+ </mtd>
107
+ </mtr>
108
+ </mtable>
109
+
110
+ </mtd>
111
+ </mtr>
112
+ <mtr>
113
+ <mtd>
114
+ <mtable columnalign='left'>
115
+ <mtr>
116
+ <mtd>
117
+ <mi>a</mi>
118
+ </mtd>
119
+ </mtr>
120
+ <mtr>
121
+ <mtd>
122
+ <mi>b</mi>
123
+ </mtd>
124
+ </mtr>
125
+ </mtable>
126
+
127
+ </mtd>
128
+ <mtd>
129
+ <mtable columnalign='left'>
130
+ <mtr>
131
+ <mtd>
132
+ <mi>c</mi>
133
+ </mtd>
134
+ </mtr>
135
+ <mtr>
136
+ <mtd>
137
+ <mi>d</mi>
138
+ </mtd>
139
+ </mtr>
140
+ </mtable>
141
+
142
+ </mtd>
143
+ <mtd>
144
+ <mtable columnalign='left'>
145
+ <mtr>
146
+ <mtd>
147
+ <mi>e</mi>
148
+ </mtd>
149
+ </mtr>
150
+ <mtr>
151
+ <mtd>
152
+ <mi>f</mi>
153
+ </mtd>
154
+ </mtr>
155
+ </mtable>
156
+
157
+ </mtd>
158
+ </mtr>
159
+ <mtr>
160
+ <mtd>
161
+ <mi>x</mi>
162
+ </mtd>
163
+ <mtd>
164
+ <mi>y</mi>
165
+ </mtd>
166
+ <mtd>
167
+ <mi>z</mi>
168
+ </mtd>
169
+ </mtr>
170
+
171
+ </mtable><mo>+</mo><mtable>
172
+ <mtr>
173
+ <mtd>
174
+ <mrow>
175
+ <mi>a</mi><mo>+</mo><mi>b</mi></mrow>
176
+ </mtd>
177
+ <mtd>
178
+ <mi>d</mi>
179
+ </mtd>
180
+ <mtd>
181
+ <mrow>
182
+ <mn>3</mn><mi>e</mi></mrow>
183
+ </mtd>
184
+ </mtr>
185
+ <mtr>
186
+ <mtd>
187
+ <mrow>
188
+ <mi>v</mi><mo>&#x2212;</mo><mn>2</mn></mrow>
189
+ </mtd>
190
+ <mtd>
191
+ <mrow>
192
+ <mi>r</mi><mo>+</mo><mi>l</mi></mrow>
193
+ </mtd>
194
+ <mtd>
195
+ <mrow>
196
+ <mi>d</mi><mi>b</mi><mo>+</mo><mn>3</mn></mrow>
197
+ </mtd>
198
+ </mtr>
199
+ <mtr>
200
+ <mtd>
201
+ <mi>x</mi>
202
+ </mtd>
203
+ <mtd>
204
+ <mi>x</mi>
205
+ </mtd>
206
+ <mtd>
207
+ <mi>s</mi>
208
+ </mtd>
209
+ </mtr>
210
+
211
+ </mtable><mo>+</mo><mtable columnalign='right'>
212
+ <mtr columnalign='right'>
213
+ <mtd columnalign='right'>
214
+ <mrow>
215
+ <mi>a</mi><mo>+</mo><mi>b</mi></mrow>
216
+ </mtd>
217
+ <mtd columnalign='right'>
218
+ <mrow>
219
+ <mi>c</mi><mo>+</mo><mi>d</mi></mrow>
220
+ </mtd>
221
+ <mtd columnalign='right'>
222
+ <mi>w</mi>
223
+ </mtd>
224
+ </mtr>
225
+ <mtr columnalign='right'>
226
+ <mtd columnalign='right'>
227
+ <mrow>
228
+ <mi>c</mi><mo>+</mo><mn>2</mn></mrow>
229
+ </mtd>
230
+ <mtd columnalign='right'>
231
+ <mi>e</mi>
232
+ </mtd>
233
+ <mtd columnalign='right'>
234
+ <mrow>
235
+ <mi>e</mi><mo>+</mo><mn>3</mn></mrow>
236
+ </mtd>
237
+ </mtr>
238
+ <mtr columnalign='right'>
239
+ <mtd columnalign='right'>
240
+ <mi>e</mi>
241
+ </mtd>
242
+ <mtd columnalign='right'>
243
+ <mi>w</mi>
244
+ </mtd>
245
+ <mtd columnalign='right'>
246
+ <mi>x</mi>
247
+ </mtd>
248
+ </mtr>
249
+
250
+ </mtable></mrow>
251
+ <annotation encoding='MathType-MTEF'>MathType@MTEF@5@5@+=faaagCart1ev2aqaKnaaaaWenf2ys9wBH5garuavP1wzZbItLDhis9wBH5garmWu51MyVXgaruWqVvNCPvMCG4uz3bqee0evGueE0jxyaibaieYlf9irVeeu0dXdh9vqqj=hHeeu0xXdbba9frFj0=OqFfea0dXdd9vqaq=JfrVkFHe9pgea0dXdar=Jb9hs0dXdbPYxe9vr0=vr0=vqpi0dc9GqpWqaaeaabiGaciaacaqabeaadaqaaqaaaOqaauaabeqadmaaaqaabeqaaiaadsgaaeaacaWGNbaabaGaamOyaaqaaiaadggaaeaacaWGIbaabaGaam4yaaaaeaqabeaacaWGKbaabaGaamOyaaqaaiaadsgaaeaacaWGHbaabaGaamOyaaqaaiaadogaaaabaeqabaGaam4yaaqaaiaadkgaaeaacaWGKbaabaGaamizaaqaaiaadkgaaeaacaWGLbaaaqaabeqaaiaadggaaeaacaWGIbaaaqaabeqaaiaadogaaeaacaWGKbaaaqaabeqaaiaadwgaaeaacaWGMbaaaeaacaWG4baabaGaamyEaaqaaiaadQhaaaGaey4kaSsbaeqabmWaaaqaaiaadggacqGHRaWkcaWGIbaabaGaamizaaqaaiaaiodacaWGLbaabaGaamODaiabgkHiTiaaikdaaeaacaWGYbGaey4kaSIaamiBaaqaaiaadsgacaWGIbGaey4kaSIaaG4maaqaaiaadIhaaeaacaWG4baabaGaam4CaaaacqGHRaWkfaqaceWadaaabaGaamyyaiabgUcaRiaadkgaaeaacaWGJbGaey4kaSIaamizaaqaaiaadEhaaeaacaWGJbGaey4kaSIaaGOmaaqaaiaadwgaaeaacaWGLbGaey4kaSIaaG4maaqaaiaadwgaaeaacaWG3baabaGaamiEaaaaaaa@6E11@</annotation>
252
+ </semantics>
253
+ </math>
data/spec/fixtures/expected/sums.xml ADDED
@@ -0,0 +1,36 @@
1
+ <math display='block'>
2
+ <semantics>
3
+ <mrow>
4
+ <mstyle displaystyle='true'>
5
+ <mo>&#x2211;</mo> <mrow>
6
+ <mi>a</mi><mo>+</mo><mstyle displaystyle='true'>
7
+ <munder>
8
+ <mo>&#x2211;</mo>
9
+ <mi>b</mi>
10
+ </munder>
11
+ <mi>a</mi>
12
+ </mstyle></mrow>
13
+ </mstyle><mo>+</mo><mstyle displaystyle='true'>
14
+ <munderover>
15
+ <mo>&#x2211;</mo>
16
+ <mi>c</mi>
17
+ <mi>a</mi>
18
+ </munderover>
19
+ <mi>b</mi>
20
+ </mstyle><mo>+</mo><mstyle displaystyle='true'>
21
+ <msub>
22
+ <mo>&#x2211;</mo>
23
+ <mi>b</mi>
24
+ </msub>
25
+ <mi>a</mi>
26
+ </mstyle><mo>+</mo><mstyle displaystyle='true'>
27
+ <msubsup>
28
+ <mo>&#x2211;</mo>
29
+ <mi>c</mi>
30
+ <mi>a</mi>
31
+ </msubsup>
32
+ <mi>b</mi>
33
+ </mstyle></mrow>
34
+ <annotation encoding='MathType-MTEF'>MathType@MTEF@5@5@+=faaagCart1ev2aaaKnaaaaWenf2ys9wBH5garuavP1wzZbItLDhis9wBH5garmWu51MyVXgaruWqVvNCPvMCG4uz3bqee0evGueE0jxyaibaieYlf9irVeeu0dXdh9vqqj=hHeeu0xXdbba9frFj0=OqFfea0dXdd9vqaq=JfrVkFHe9pgea0dXdar=Jb9hs0dXdbPYxe9vr0=vr0=vqpi0dc9GqpWqaaeaabiGaciaacaqabeaadaqaaqaaaOqaamaaqaeabaGaamyyaiabgUcaRmaaqafabaGaamyyaaWcbaGaamOyaaqab0GaeyyeIuoaaSqabeqaniabggHiLdGccqGHRaWkdaaeWbqaaiaadkgaaSqaaiaadogaaeaacaWGHbaaniabggHiLdGccqGHRaWkdaaeqaqaaiaadggaaSqaaiaadkgaaeqaniabggHiLdGccqGHRaWkdaaeWaqaaiaadkgaaSqaaiaadogaaeaacaWGHbaaniabggHiLdaaaa@4AB8@</annotation>
35
+ </semantics>
36
+ </math>
data/spec/fixtures/expected/unions_and_intersections.xml ADDED
@@ -0,0 +1,140 @@
1
+ <math display='block'>
2
+ <semantics>
3
+ <mtable columnalign='left'>
4
+ <mtr>
5
+ <mtd>
6
+ <mstyle displaystyle='true'>
7
+ <mo>&#x220F;</mo> <mi>a</mi>
8
+ </mstyle><mo>&#x2212;</mo><mstyle displaystyle='true'>
9
+ <munder>
10
+ <mo>&#x220F;</mo>
11
+ <mi>b</mi>
12
+ </munder>
13
+ <mi>a</mi>
14
+ </mstyle><mo>&#x2212;</mo><mstyle displaystyle='true'>
15
+ <munderover>
16
+ <mo>&#x220F;</mo>
17
+ <mi>c</mi>
18
+ <mi>a</mi>
19
+ </munderover>
20
+ <mi>b</mi>
21
+ </mstyle><mo>&#x2212;</mo><mstyle displaystyle='true'>
22
+ <msub>
23
+ <mo>&#x220F;</mo>
24
+ <mi>b</mi>
25
+ </msub>
26
+ <mi>a</mi>
27
+ </mstyle><mo>&#x2212;</mo><mstyle displaystyle='true'>
28
+ <msubsup>
29
+ <mo>&#x220F;</mo>
30
+ <mi>c</mi>
31
+ <mi>a</mi>
32
+ </msubsup>
33
+ <mi>b</mi>
34
+ </mstyle>
35
+ </mtd>
36
+ </mtr>
37
+ <mtr>
38
+ <mtd>
39
+ <mstyle displaystyle='true'>
40
+ <mo>&#x2210;</mo> <mi>a</mi>
41
+ </mstyle><mo>&#x2212;</mo><mstyle displaystyle='true'>
42
+ <munder>
43
+ <mo>&#x2210;</mo>
44
+ <mi>b</mi>
45
+ </munder>
46
+ <mi>a</mi>
47
+ </mstyle><mo>&#x2212;</mo><mstyle displaystyle='true'>
48
+ <munderover>
49
+ <mo>&#x2210;</mo>
50
+ <mi>c</mi>
51
+ <mi>a</mi>
52
+ </munderover>
53
+ <mi>b</mi>
54
+ </mstyle><mo>&#x2212;</mo><mstyle displaystyle='true'>
55
+ <msub>
56
+ <mo>&#x2210;</mo>
57
+ <mi>b</mi>
58
+ </msub>
59
+ <mi>a</mi>
60
+ </mstyle><mo>&#x2212;</mo><mstyle displaystyle='true'>
61
+ <msubsup>
62
+ <mo>&#x2210;</mo>
63
+ <mi>c</mi>
64
+ <mi>a</mi>
65
+ </msubsup>
66
+ <mi>b</mi>
67
+ </mstyle>
68
+ </mtd>
69
+ </mtr>
70
+ <mtr>
71
+ <mtd>
72
+ <mstyle displaystyle='true'>
73
+ <mo>&#x2229;</mo> <mi>a</mi>
74
+ </mstyle><mo>&#x2212;</mo><mstyle displaystyle='true'>
75
+ <munder>
76
+ <mo>&#x2229;</mo>
77
+ <mi>b</mi>
78
+ </munder>
79
+ <mi>a</mi>
80
+ </mstyle><mo>&#x2212;</mo><mstyle displaystyle='true'>
81
+ <munderover>
82
+ <mo>&#x2229;</mo>
83
+ <mi>c</mi>
84
+ <mi>a</mi>
85
+ </munderover>
86
+ <mi>b</mi>
87
+ </mstyle><mo>&#x2212;</mo><mstyle displaystyle='true'>
88
+ <msub>
89
+ <mo>&#x2229;</mo>
90
+ <mi>b</mi>
91
+ </msub>
92
+ <mi>a</mi>
93
+ </mstyle><mo>&#x2212;</mo><mstyle displaystyle='true'>
94
+ <msubsup>
95
+ <mo>&#x2229;</mo>
96
+ <mi>c</mi>
97
+ <mi>a</mi>
98
+ </msubsup>
99
+ <mi>b</mi>
100
+ </mstyle>
101
+ </mtd>
102
+ </mtr>
103
+ <mtr>
104
+ <mtd>
105
+ <mstyle displaystyle='true'>
106
+ <mo>&#x222A;</mo> <mi>a</mi>
107
+ </mstyle><mo>&#x2212;</mo><mstyle displaystyle='true'>
108
+ <munder>
109
+ <mo>&#x222A;</mo>
110
+ <mi>b</mi>
111
+ </munder>
112
+ <mi>a</mi>
113
+ </mstyle><mo>&#x2212;</mo><mstyle displaystyle='true'>
114
+ <munderover>
115
+ <mo>&#x222A;</mo>
116
+ <mi>c</mi>
117
+ <mi>a</mi>
118
+ </munderover>
119
+ <mi>b</mi>
120
+ </mstyle><mo>&#x2212;</mo><mstyle displaystyle='true'>
121
+ <msub>
122
+ <mo>&#x222A;</mo>
123
+ <mi>b</mi>
124
+ </msub>
125
+ <mi>a</mi>
126
+ </mstyle><mo>&#x2212;</mo><mstyle displaystyle='true'>
127
+ <msubsup>
128
+ <mo>&#x222A;</mo>
129
+ <mi>c</mi>
130
+ <mi>a</mi>
131
+ </msubsup>
132
+ <mi>b</mi>
133
+ </mstyle>
134
+ </mtd>
135
+ </mtr>
136
+ </mtable>
137
+
138
+ <annotation encoding='MathType-MTEF'>MathType@MTEF@5@5@+=faaagCart1ev2aaaKnaaaaWenf2ys9wBH5garuavP1wzZbItLDhis9wBH5garmWu51MyVXgaruWqVvNCPvMCG4uz3bqee0evGueE0jxyaibaieYlf9irVeeu0dXdh9vqqj=hHeeu0xXdbba9frFj0=OqFfea0dXdd9vqaq=JfrVkFHe9pgea0dXdar=Jb9hs0dXdbPYxe9vr0=vr0=vqpi0dc9GqpWqaaeaabiGaciaacaqabeaadaqaaqaaaOabaeqabaWaaebaaeaacaWGHbaaleqabeqdcqGHpis1aOGaeyOeI0YaaebuaeaacaWGHbaaleaacaWGIbaabeqdcqGHpis1aOGaeyOeI0YaaebCaeaacaWGIbaaleaacaWGJbaabaGaamyyaaqdcqGHpis1aOGaeyOeI0YaaebeaeaacaWGHbaaleaacaWGIbaabeqdcqGHpis1aOGaeyOeI0YaaebmaeaacaWGIbaaleaacaWGJbaabaGaamyyaaqdcqGHpis1aaGcbaWaaibaaeaacaWGHbaaleqabeqdcqWIqiYqaOGaeyOeI0YaaibuaeaacaWGHbaaleaacaWGIbaabeqdcqWIqiYqaOGaeyOeI0YaaibCaeaacaWGIbaaleaacaWGJbaabaGaamyyaaqdcqWIqiYqaOGaeyOeI0YaaibeaeaacaWGHbaaleaacaWGIbaabeqdcqWIqiYqaOGaeyOeI0YaaibmaeaacaWGIbaaleaacaWGJbaabaGaamyyaaqdcqWIqiYqaaGcbaWaaqbaaeaacaWGHbaaleqabeqdcqWIPissaOGaeyOeI0YaaqbuaeaacaWGHbaaleaacaWGIbaabeqdcqWIPissaOGaeyOeI0YaaqbCaeaacaWGIbaaleaacaWGJbaabaGaamyyaaqdcqWIPissaOGaeyOeI0YaaqbeaeaacaWGHbaaleaacaWGIbaabeqdcqWIPissaOGaeyOeI0YaaqbmaeaacaWGIbaaleaacaWGJbaabaGaamyyaaqdcqWIPissaaGcbaWaambaaeaacaWGHbaaleqabeqdcqWIQisvaOGaeyOeI0YaambuaeaacaWGHbaaleaacaWGIbaabeqdcqWIQisvaOGaeyOeI0YaambCaeaacaWGIbaaleaacaWGJbaabaGaamyyaaqdcqWIQisvaOGaeyOeI0YaambeaeaacaWGHbaaleaacaWGIbaabeqdcqWIQisvaOGaeyOeI0YaambmaeaacaWGIbaaleaacaWGJbaabaGaamyyaaqdcqWIQisvaaaaaa@8A8E@</annotation>
139
+ </semantics>
140
+ </math>
data/spec/fixtures/input/280.bin ADDED
Binary file
data/spec/fixtures/input/281.bin ADDED
Binary file
data/spec/fixtures/input/299.bin ADDED
Binary file