>It’s also rather annoying to type them I wonder how mathematicians do this, I suppose they use latex notation most of the time, inputting ASCII which is forma

>It’s also rather annoying to type them I wonder how mathematicians do this, I suppose they use latex notation most of the time, inputting ASCII which is formatted as the symbol instead of looking up tables