[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

A question

Dear Madam/Sir

I am a beginner of PVS, I have a question:

How to present

"t is an element of set S"?  I cannot find a symbol... so ...

Thank you very much.




Daqi Ren

Department of Electrical and Computer Engineering
Concordia University
Montreal Canada