Math, Logic Symbol for "Instance Of"

Math, Logic Symbol for "Instance Of"
$\begingroup$

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$ ?

$\endgroup$
8
David Miller
Author

David Miller

David Miller brings 15 years of experience in global economics, personal finance strategy, and market dynamics. He specializes in turning complex economic trends into actionable insights for everyday readers.