Results 1 comments of Scott Gray

Yes, you are right that the documentation for `\alias` has a bug in it. It should have just been `\prod` not `\prod-db` in the example. I'll fix that. A command...