Math software keyboard for mac.
So you can type things like ∀x∈ℝ∃ x^2 ∈ℝ much more quickly than before. Especially useful for chatGPT.
Download here.
Click to copy a symbol. Then you can paste it anywhere else on your computer.
If apple gives you a hard time about opening the app for the first time, right click on it and then click "open" :)