abstraction of notation from sets.

When S is a set, the notation "a \epsilon S" is familiar. Is this ever extended to CT? All the texts I recall use natural language such as "A is an object of C". What if a more symbolic notation is required? Thanks, ... Peter E. -- Google "pathology workshop" [For admin and other information see: http://www.mta.ca/~cat-dist/ ]