Hey folks: It's real nice to get the typography correct, but let's not make it impossible for folks to conduct searches. Ideally, ASCII characters are preferable.