Math, logic symbol for "instance of"

1.7k Views Asked by At

I saw a discussion of a possible symbol for "example," but I need "example/instance of." There is of course

$a \in S$

which is a is a member of/in S, but is there a specific way of stating

$a "instanceOfSymbol" S$ ?