| Expression | Equivalent to | |
| t == sv | S(t) == sv | |
| sv == t | sv == S(t) | |
| t != sv | S(t) != sv | |
| sv != t | sv != S(t) | |
| t < sv | S(t) < sv | |
| sv < t | sv < S(t) | |
| t > sv | S(t) > sv | |
| sv > t | sv > S(t) | |
| t <= sv | S(t) <= sv | |
| sv <= t | sv <= S(t) | |
| t >= sv | S(t) >= sv | |
| sv >= t | sv >= S(t) | |
| t <=> sv | S(t) <=> sv | |
| sv <=> t | sv <=> S(t) |