+ string const name = envName(space, useSetSpace);
+ if (space == Other)
+ return "\\begin{" + name + "}{" + getValueAsString() + '}';
+ else
+ return name.empty() ? string() : "\\begin{" + name + '}';
+}
+
+
+string const Spacing::writeEnvirEnd(bool useSetSpace) const
+{
+ string const name = envName(space, useSetSpace);
+ return name.empty() ? string() : "\\end{" + name + '}';
+}
+
+
+string const Spacing::writePreamble(bool useSetSpace) const
+{
+ string preamble;