Re: Wishlist for 2.0

[Alexandru Mustatea]

        Also, I'd like to have supplementary math symbols. If the actual
state of affairs could satisfy a-not-mathematician :), it's quite hard for
me to write my thesis without the sign for the set of real numbers. I know
how to do it with ERT, but it's quite ugly. And just imagine those
algebraists who have to tensorize two modules over Z (the integers) 10
times a page! I'd really appreciate this solved, if possible.

        A.M.