chiark / gitweb /
symbolic.py: do not print in unicode