public Infra(Infra system, Infra user, Infra document) : base(system, user, document) { }
public void CleanProperties() { Infra = new Infra(); LaTeXTags = new LaTeXTags(); StyleMap = new StyleMap(); }