docstring MathStream::deferred() const
-{
+{
return deferred_.str();
}
docstring HtmlStream::deferred() const
-{
+{
return deferred_.str();
}
return from_ascii(">");
else
return name;
+ } else if (name.size() == 2 && name[0] == '\\') {
+ char_type const c = name[1];
+ if (c == '{')
+ return from_ascii("{");
+ else if (c == '}')
+ return from_ascii("}");
}
MathWordList const & words = mathedWordList();
MathWordList::const_iterator it = words.find(name);