Methemetecs is a user on dolphin.town. You can follow them or interact with them if you have an account anywhere in the fediverse.
If you don't, you can sign up here.
eee(e) = e / e
¬(e∧e) ≡ ¬e ∨ ¬e
¬(e∨e) ≡ ¬e ∧ ¬e
| e e e |
| e e e | = e *(e*e - e*e) * 3 = 0
| e e e |
∃ E (|E| = 0)
|e| = √(e²)
e <=> e
(e^E)' = e^E-1
e² = e² + e²