**otini** @otini@functional.cafe · Sep 25, 2019, 15:13

**otini** @otini@functional.cafe · Sep 25, 2019, 15:13

otini @otini@functional.cafe

Something's wrong with the `\Longrightarrow` symbol in TeX

**rhapsodos** @rhapsodos@mamot.fr · Sep 25, 2019, 20:09

**rhapsodos** @rhapsodos@mamot.fr · Sep 25, 2019, 20:09

rhapsodos @rhapsodos@mamot.fr

@otini I'm imagining someone drawing this and making a "eeeeehhhhh" noise

**otini** @otini@functional.cafe · 2019-09-27T08:46:54Z

otini @otini@functional.cafe

@rhapsodos “eeeeehhhhh” as in “I saw a mouse” eeeehhh?

**rhapsodos** @rhapsodos@mamot.fr · Sep 27, 2019, 09:05

**rhapsodos** @rhapsodos@mamot.fr · Sep 27, 2019, 09:05

rhapsodos @rhapsodos@mamot.fr

@otini "eeeeh" as "okay I'm drawing that nice symbol oooops I'm gradually failing at this"

**otini** @otini@functional.cafe · Sep 27, 2019, 09:52

**otini** @otini@functional.cafe · Sep 27, 2019, 09:52

otini @otini@functional.cafe

@rhapsodos I see. Maybe.

**Bloody Merri** @merricat@pipou.academy · Sep 27, 2019, 10:48

**Bloody Merri** @merricat@pipou.academy · Sep 27, 2019, 10:48

Bloody Merri @merricat@pipou.academy

@otini @rhapsodos "eeehhh... good enough"