Two new characters #minus and #plus typographically better than the standard "-" and "+"