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) |