collapsed in a parsable symbol