return joinedNames;
case SUBSCRIPT:
assert size()==2;
State last = states.lastElement();
//- String lastString = last instanceof Text ? ((Text) last).getHTMLSubscript() : last.toHTML();
String lastString = last.isText() ? ((Text) last).getHTMLSubscript() : last.toHTML();
return states.firstElement().toHTML() + "<SUB>" + lastString + "</SUB>";
default:
throw new RuntimeException("illegal display style");
}
}