/// identifies SpecialChar insets
InsetMathSpecialChar const * asSpecialCharInset() const { return this; }
///
docstring name() const { return name_; }
///
char_type getChar() const { return char_; }
/// identifies SpecialChar insets
InsetMathSpecialChar const * asSpecialCharInset() const { return this; }
///
docstring name() const { return name_; }
///
char_type getChar() const { return char_; }