cout << "examining archiving system" << flush;
clog << "----------archiving system:" << endl;
- symbol x("x"), y("y"), mu("mu"), dim("dim");
+ symbol x("x"), y("y"), mu("mu"), dim("dim", "\\Delta");
ex e, f;
// This expression is complete nonsense but it contains every type of