2019-08-15 00:47:55 +01:00
|
|
|
import { XmlComponent } from "file/xml-components";
|
|
|
|
|
2020-10-12 22:13:03 +01:00
|
|
|
import { MathComponent } from "../math-component";
|
2019-08-15 00:47:55 +01:00
|
|
|
|
|
|
|
export class MathNumerator extends XmlComponent {
|
2020-10-13 02:06:27 +01:00
|
|
|
constructor(children: MathComponent[]) {
|
2019-08-15 00:47:55 +01:00
|
|
|
super("m:num");
|
|
|
|
|
2020-10-13 02:06:27 +01:00
|
|
|
for (const child of children) {
|
|
|
|
this.root.push(child);
|
|
|
|
}
|
2019-08-15 00:47:55 +01:00
|
|
|
}
|
|
|
|
}
|