+ docstring const & scaleoption() const { return scaleoption_; }
+ /// A macro for font scaling
+ docstring const & scalecmd() const { return scalecmd_; }
+ /// Does this provide additional options?
+ bool providesMoreOptions(bool ot1, bool complete, bool nomath) const;