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
@orcmid @friday completely forgot about B over there; of course.
The crazy spacing happens to me as well..