Made minus signs and primes Unicode-correct, plus additions.