Posts

Showing posts from December 25, 2018

How do I disable the mouse scroll wheel in Ubuntu 18.10

Image
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

What is the difference between “for some $k inmathbb{R}$” and “$forall: k inmathbb{R}$”?

Image
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