This is a reminder that somebody should invent the characters circle-minus and circle-slash someday. Also there are a lot of greek letters still undrawn. This low-priority annoyance courtesy of ---Wechsler