}
public static @bind.as("Citation") Object cite(Object o) { return new Chars("*cite*"); }
- public static @bind.as("Symbol") Object sym(Object o) { return null; }
+ public static @bind.as("Symbol") Object sym(String s) { return new Chars(s); }
- public static abstract class List extends Text {
- public @bind.arg Text[][] points;
+ public static abstract class List extends Paragraph {
+ public @bind.arg Text[] preface;
+ public @bind.arg Text[][] points;
public abstract String tag();
public void toHTML(ToHTML.HTML sb) {
+ sb.append(preface);
sb.openTag(tag());
for(Text[] t : points)
sb.tag("li", t);