detect "distinct" symbols at construction