Variables must contain some specific value

[jansh...@gmail.com]

I have to check the variable values by using TLA+ in TLC. 

For example

Res_Word == {"_","N"} 

variables my_variable = "Some_valueONE"

Check == my_variable \in Res_Word

\* means check it if variable contains some of the specific value as required in set.