question How does Approach0 handles Unicode?

For example this question has the title: "Suppose $\lim \limits_{n \to ∞} a_n=L$. Prove that $\lim\limits_{n \to ∞} \frac{a_1+a_2+\cdots+a_n}{n}=L$". I.e. it uses ∞ rather than \infty

I tried to search for $\lim\limits_{n \to ∞} \frac{a_1+a_2+\cdots+a_n}{n}=L$ - when I entered this in the raw query field, there is some error in rendering the expression, but it returns a lot of results.

When I try to search for $\lim\limits_{n \to \infty} \frac{a_1+a_2+\cdots+a_n}{n}=L$ the result seems to be the same.

Can the fact that some users use unicode rather than tex cause problem when searching? I mean, will post containing ∞ match a search query with \infty?

I suppose the incorrect rendering when entered as raw query depends on mathquill. Moreover, it is not a problem of the search engine, but it is simply incorrect input by user.

Will such posts be found by approach0?

@MartinSleziak That is interesting. I want to thank them (and including you) for sharing what they find on approach0, hope more people can benefit from approach0.

@MartinSleziak That depends, for infinity symbol, I have it in my lexer rules: github.com/approach0/search-engine/blob/…

Thus you have found you can use \infty and its Unicode interchangeably.

However, this will not always work for other Unicode symbols, for example, I have not defined symbols like omega with their Unicode, although I put α and β there. Enumerate all these Unicode symbols (there are a lot) in lexer rules is possible, but at least I do not have time to do that. So I recommend users always use TeX command in approach0, instead of using non-ASCII Unicode symbols.

For reference. α and β are defined here: github.com/approach0/search-engine/blob/….

@MartinSleziak Thanks for keep teaching me all these stuffs on SE, I am really a new user here. Glad to know these knowledge.