[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.

Sincerely

Daqi

______________________________________

Daqi Ren

Department of Electrical and Computer Engineering
Concordia University
Montreal Canada