65535 characters is quite a lot.

Let's make it B E A U T I F U L:

If we know that \(A \wedge B \implies C\) holds, and we are aware of \(A\) being true, then we can infer \(C\) holds by using _modus ponens_ :)

@saxarona your LaTex has no power here 😂 but I wish it did!

@friday The qoto instance says it has! 😢 what a bummer haha

@saxarona probably my app then

@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.