[Groff] Propositional Logic

[Paul O'Leary McCann]

Is there a way to use propositional logic symbols? I've checked around
and looked at eqn, but the best solution I've come up with is unicode
symbols and heirloom troff. -POLM