Marking up Temporal Logic

I was hoping someone might be able to advise me on how I can quickly
markup some basic first-order temporal logic equations to be included on
a web document.
I guess I need to use the character codes for the operators I need but
is there an easy way to find these out (I don't think it matters was
character encoding standard I use)

Thank you loads!