isasymbols.py revision de77df45
1