use fileinput for symbols.py for easier testing