String toString() { return Sformat("%s-%s",a.toString(),b.toString()); }
String toString() { return Sformat(".%s^%s",pos.toString(),nor.toString()); }