mw Mon, 22 Feb 1999 14:08:07 -0500
You can use that. The problem is that it is part of the amssymb package. Mate
