pretty printing for CondSymbol as external function