Distinguisher may refer to: