Cfrgtkky

up vote 0 down vote favorite I have an air mouse which for some reason feeds mouse scroll data back to my Ubuntu 18.10 install. As a result if I happen to move the mouse over the application launcher, the current window is scrolled away. It also causes other problems from time to time, especially in my web browser. Therefore I'd like to disable it, but there's no option visible in Settings > Devices. So how do I disable it? 18.10 mouse-wheel share | improve this question asked Nov 26 at 20:48 Keir Finlow-Bates 171 1 1 7 ...

up vote -1 down vote favorite When proving by induction, in the IH you're supposed to write something like "suppose $a_k < a_{k+1} < 15$ for some $k in Bbb R$ . If I instead write for all $k in Bbb R$ is that considered wrong? abstract-algebra share | cite | improve this question edited Nov 19 at 8:11 Hirak 2,564 1 13 36 asked Nov 19 at 7:57 ming 172 5 ...