> (Thomas can we borrow that from teTeX? btw what's the source > of that file?) 1) sure, you can copy that 2) I don't exactly know where it came from. Maybe, from the omega distribution? Thomas