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