bool do_parameter(const std::string&);
bool do_superscript(void);
bool do_subscript(void);
+ bool do_ignorablespace(const std::string&);
bool do_space(const std::string&);
bool do_letter(const std::string&);
bool do_digit(const std::string&);
bool do_active(const std::string&);
bool do_comment(void);
bool do_control(const std::string&);
-
std::string drop_prev_token(bool);
std::string drop_prev_script(bool);