In The Temporal Logic of Programs there is an operator first appearing on page 3 (48) under "Partial Correctness" that looks like an elongated super set symbol. What is it?
$\begingroup$
$\endgroup$
-
$\begingroup$ Based on context it seems like it could mean implication, which is supported by en.wikipedia.org/wiki/List_of_mathematical_symbols $\endgroup$ – Brent Nov 2 '17 at 20:53
$\begingroup$
$\endgroup$
It's implication as indicated in en.wikipedia.org/wiki/List_of_mathematical_symbols
