chiark / gitweb /
symbolic.py: before giving up on unicode stuff