chiark / gitweb /
symbolic.py: make -q work