Re: [math-fun] Encyclopedia of math notation?