Miscellany

public static final class CalculusAN extends SymAnnotation  {    private static final long serialVersionUID = 8523090928724350634L;     private CalculusAN() {}       public SymCalculus get(Term term) { return (SymCalculus) term.getAnnotationValue(this); }       @Override    public Object getDefaultValue() { return null; }    @Override    public String toString() { return "[Calculus]"; }    public Object readResolve() throws ObjectStreamException { return CALCULUS; }       @Override    public String toString(Term term)    {      return term.getAnnotationValue(this) != null ? "DATA" : "";    }  }