In the search of a question

« first day (1845 days earlier) ← previous day next day → last day (930 days later) »

5:36 AM

@user21820 Just to be sure: the backslash merely adds a space within the dollar-sign environment, right? If so, what an awesome general tip! THANKS! Secondly, in mathjax, is there a qualitative difference between spelling out the code e.g., \forall versus simply pasting in the character ∃?

in MathJax, 10 hours ago, by Martin Sleziak

My guess is that it would look the same. Differences might be what people searching for such expressions get.

in MathJax, 10 hours ago, by Ryan G

@MartinSleziak Good point. I would hope that searching for \exists and ∃ would return identical results.

It seems that we discussed unicode a bit.

The relevant part might be here: chat.stackexchange.com/transcript/46148/2016/10/15

Oct 15 '16 at 13:49, by Wei Zhong

@MartinSleziak That depends, for infinity symbol, I have it in my lexer rules: https://github.com/approach0/search-engine/blob/e0c40d453db6bb2559b82077a8072c0b‌15f28ceb/tex-parser/lexer.template.l#L420

Oct 15 '16 at 13:50, by Wei Zhong

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

Oct 15 '16 at 13:53, by Wei Zhong

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.

Oct 15 '16 at 13:55, by Wei Zhong

For reference. α and β are defined here: https://github.com/approach0/search-engine/blob/e0c40d453db6bb2559b82077a8072c0b‌15f28ceb/tex-parser/lexer.template.l#L324.

Looking at the part about quantifiers, I would expect different behavior for Unicode and for TeX: github.com/approach0/search-engine/blob/…

 /* forall and exists */
\\exists                  { RET_TOK(_AUTOGEN_, EXISTS, WC_NONCOM_OPERATOR, SEP_CLASS); }
\\nexists                 { RET_TOK(_AUTOGEN_, EXISTS, WC_NONCOM_OPERATOR, SEP_CLASS); }
\\forall                  { RET_TOK(_AUTOGEN_, FORALL, WC_NONCOM_OPERATOR, SEP_CLASS); }

I have tried \forall x\exists y and ∀ x∃ y in Approach0.

Also \forall x\exists y and ∀ x∃ y in SeachOnMath.

And also "\forall x\exists y" vs. "∀ x∃ y" in the site search.

I should probably try a few more experiments, but I will be teaching in 30 minutes.

« first day (1845 days earlier) ← previous day next day → last day (930 days later) »

all rooms