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-12 22:13:03 +01:00
|
|
|
constructor(child: MathComponent) {
|
2019-08-15 00:47:55 +01:00
|
|
|
super("m:num");
|
|
|
|
|
2020-10-12 22:13:03 +01:00
|
|
|
this.root.push(child);
|
2019-08-15 00:47:55 +01:00
|
|
|
}
|
|
|
|
}
|