wanpeebaw
2020-8-7 18:57:21

soegaard2
2020-8-7 19:20:34

Invisible times?

There must be some sort of explanation.


sorawee
2020-8-7 19:21:34

What about invisible plus?


massung
2020-8-7 19:21:35

> Invisible Times AKA: ascii character 0x20 :wink:


soegaard2
2020-8-7 19:22:29

That’s even more odd.


jaz
2020-8-7 19:29:45

I imagine it’s used when you want to display multiplication-by-juxtaposition, but you also want something in the character stream to indicate that it really is multiplication. But that’s just a guess.


sorawee
2020-8-7 19:37:38

That’s odd… more even lol


massung
2020-8-7 19:40:33

also quite possible it has to do with kerning, so latex, etc. can format equations a bit nicer


soegaard2
2020-8-7 19:42:59

@jax That’s sounds plausible. But now Sorawee has found an invisible plus.


soegaard2
2020-8-7 19:43:50

@massung Could be. I think “invisible” means zero width.


jaz
2020-8-7 19:44:58

@soegaard2: https://en.wikipedia.org/wiki/Universal_Character_Set_characters#:~:text=Unicode%205.1%20introduces%20the%20Mathematical,sum%2C%20but%20not%20their%20product. > Invisible Times (U+2062) and Function Application (U+2061) are useful in mathematics text where the multiplication of terms or the application of a function is implied without any glyph indicating the operation. Unicode 5.1 introduces the Mathematical Invisible Plus character as well (U+2064) which may indicate that an integral number followed by a fraction should denote their sum, but not their product.


soegaard2
2020-8-7 19:46:04

Mixed fractions! Good for baking. But everything else …


gknauth
2020-8-7 19:49:23

He was just talking about this at Haskell.Love.


rokitna
2020-8-7 19:52:48

time to build a language that exclusively uses these operations


rokitna
2020-8-7 19:53:34

and since it’s genuine traditional math notation, it’ll be easy for newcomers to read


soegaard2
2020-8-7 19:54:44

For once a language where blind have an advantage.

(due to screen readers)


plragde
2020-8-8 02:24:30

I’ve taught from this if anyone wants more details. It worked out quite well and I will be designing an online grad course based on it.


wanpeebaw
2020-8-8 03:52:14

@plragde I’m quite interested.


wanpeebaw
2020-8-8 03:54:09