Definition:Relation/Technical Note

Definition
The expression:


 * $s \mathrel \RR t$

is produced by the following $\LaTeX$ code:

s \mathrel \RR t