chiark / gitweb /
symbolic.py: prep for actual output