do you guys use any kind of quirky/unusual/atypical notation in your notes? I love to use ∃? to signalize that I’m trying to prove existence of something while not knowing if the object I’m searching for exists a priori (saw somebody doing it, so I took it from them)
