@MathMatize Yeah ok I’m just gonna write down “there exists” every time for this. I’m sure it’s gonna be super fast and efficient
@MathMatize but with only ∀ and ∃ added to the logical operators, you have a complete symbolic language for first order logic. so they're pretty important.
@MathMatize lmfao, if u could do the same shit the Riemann hypothsis
@MathMatize ∃! ... "there can be only one!"
@MathMatize For me it's about the space i save from my oversized letters on my notebook
@MathMatize There’s something to be said for the back looking E and its subtle reference to existential questions…