public final String toString() {
// Michael Borcherds 2008-03-30
// simplified to allow better Chinese translation
return app.getPlain("TangentToAatB", f.getLabel(), "x = x(" + P.getLabel() + ")");
}
public final String toString() {
// Michael Borcherds 2008-03-30
// simplified to allow better Chinese translation
return app.getPlain("TangentToAatB", f.getLabel(), "x = x(" + P.getLabel() + ")");
}
