In my couple decades as an academic mathematician I've only ever met one. He was a strong advocate, and got me to install & try it, but I could never convert to using it fulltime.