symbols for discrete mathematics

To: fedora-list <fedora-list@xxxxxxxxxx>
Subject: symbols for discrete mathematics
From: Bob Hartung <rwhart@xxxxxxxxx>
Date: Sun, 03 Apr 2005 22:08:10 -0400
List-archive: <https://www.redhat.com/archives/fedora-list>
List-help: <mailto:[email protected]?subject=help>
List-id: For users of Fedora Core releases <fedora-list.redhat.com>
List-post: <mailto:[email protected]>
List-subscribe: <http://www.redhat.com/mailman/listinfo/fedora-list>, <mailto:[email protected]?subject=subscribe>
List-unsubscribe: <http://www.redhat.com/mailman/listinfo/fedora-list>, <mailto:[email protected]?subject=unsubscribe>
Reply-to: For users of Fedora Core releases <fedora-list@xxxxxxxxxx>
User-agent: Mozilla Thunderbird 0.8 (X11/20041020)

Hey all: Where and how can I enter the symbols used in dealing with propostitions as used in discrete mathematics into a oo document?

TIA
Bob Hartung