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