+bool MathDecorationInset::wide() const
+{
+ return
+ key_->name == "overline" ||
+ key_->name == "underline" ||
+ key_->name == "overbrace" ||
+ key_->name == "underbrace" ||
+ key_->name == "overleftarrow" ||
+ key_->name == "overrightarrow" ||
+ key_->name == "overleftrightarrow" ||
+ key_->name == "widehat" ||
+ key_->name == "widetilde" ||
+ key_->name == "underleftarrow" ||
+ key_->name == "underrightarrow" ||
+ key_->name == "underleftrightarrow";
+}
+