Ah, I see. So, when I type in those formulas, can I use + or do I need to type in the original symbols? Nevermind, I know the answer to that. That's why Set th

Ah, I see. So, when I type in those formulas, can I use + or do I need to type in the original symbols? Nevermind, I know the answer to that. That's why Set theory notation is a difficult problem, and you need some sort of type presentation / input layer. Some people also refer to that as a user space type system or soft types: https://www21.in.tum.de/~krauss/publication/2010-soft-types-note/ https://www21.in.tum.de/~krauss/publication/2010-soft-types-...