Post #2952475

I often think that there's a fine line between obscure notation and madness... (Taken from https://blog.ivank.net/introduction-to-metamath.html) formula2 $p |- ( ( A -> A ) -> ( A -> A ) ) $= wa wa wa wim wim wa wa wim wa wa wim wim wa wa a1 wa wa wa a2 mp $.