/// Output LaTeX code, but assume that the macro is not definied yet
/// if overwriteRedefinition is true
int write(WriteStream & os, bool overwriteRedefinition) const;
/// Output LaTeX code, but assume that the macro is not definied yet
/// if overwriteRedefinition is true
int write(WriteStream & os, bool overwriteRedefinition) const;