@spicyj, @xymostech are planning to use my unicode pull requests ? or do you want me to add/fix something in it ? I'm not sure what you guys think of it.
amitp joined the channel
NOTICE: [KaTeX] jmeas opened pull request #126: The Big Symbols PR (master...hi-symbols) http://git.io/F9CdBw
isidro joined the channel
isidro has quit
amitp has quit
amitp joined the channel
jmeas joined the channel
NOTICE: [KaTeX] kevinb7 opened pull request #127: Added rule to the style guide section for where to declare variables (master...contrib_style_decls) http://git.io/o420mA
soegaard joined the channel
jmeas
xymostech, do you have a moment to talk symbols?
xymostech
Hello, yes!
jmeas:
jmeas
hey :)
alright, i had two Q's.
xymostech
Okay!
jmeas
the first is about your latest comment on the symbols PR. you do still want the unicode values for each symbol, right?
xymostech
Ah, yes
jmeas
k cool.
the PR won't have things like double-struck characters, or anything that katex can't render. i've already filtered those out (I think)
xymostech
I meant that for now, if somebody tries to format unicode (like `katex.renderToString("\u2223")`, etc), we don't need to support that yet
amitp
"talk symbols" ===> "two Q's" ===> I misinterpreted that ;)
jmeas
mmk xymostech. cool.
hahaha amitp
second question:
it seems like nobody on the internet can agree with what unicode symbols should be used for which symbols
anyway, i don't have the answer as to which are correct. but sometimes it looks like multiple could be correct
xymostech
Hmm, are you talking about what unicode characters to output? (like, the 'replace' column in symbols.js)
jmeas
it might just be a matter of making a decision. so i wanted to know if you had any thoughts on which to go for
yup.
xymostech
Ah
I go always with MathJax output
jmeas
k, that's what i was thinking, too.
xymostech
We're using the same fonts that MathJax uses
jmeas
cool, cool. i'll do that, then.
xymostech
so our symbols will be mapped to the same things that MathJax maps them to
For input, that'll be a whole nother can of worms
jmeas
hah.
xymostech
We might want to support multiple things that map to the same place?
I don't know
But for output, always use mathjax
Are you testing the symbols after you add them?
jmeas
i've found some lists that include aliases that seem to work in mathjax as well, so i think multiple inputs to one output would make sense as a feature someday.
yup, yup. it's all tested.
xymostech
Okay, great
jmeas
once the PR is done, i'll link up to the webpage i'm using for testing.
i've also got the pieces together for a quick-add library
xymostech
Interesting
jmeas
that would allow someone to go from, 'i want this symbol' to basically having a preview + the code that they need to PR to KaTeX
xymostech
Sounds great
jmeas
i'm not sure if it's worth investing more time into. maybe we can talk about that after this PR is done :)
xymostech
Also, if you want to fix the "metrics not found" errors, you can look in the metrics folder, and at `metrics/extract_ttfs.py` specifically
Yep, whatever you want to do
I'm hoping that once this is done there won't be many more symbols to add, so people won't need to add many more
but we'll see
jmeas
i hope that that's the case!
i'll look into that metrics file, and see what i can dig up.
xymostech
kk, let me know
spicyj
I'm sure there will always be more things to add
like 20% of the issues on facebook/react are people asking for more svg tags and attributes