@friday@saxarona I see some formatting when viewing on quoto.org although it is plaintext, crazy spacing, and no nice font handling. I do see the symbols for \wedge and \implies. Of course, there is no deduction by modus ponens if only A is asserted to be true.
@orcmid @saxarona @friday that's called nodus tollens right?. If a implies b, and not b holds then not a holds.