Hi, In formulas, I would like to use modal logic symbols, such as: [] (box or square) <> (diamond). Also, |- (can be deduced), |= (entails). I would suggest include all mathematical symbols, which support Latex.
Regards, Romas --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
