Definition:Relation/Technical Note

From ProofWiki
Jump to navigation Jump to search

Definition

The expression:

$s \mathrel \RR t$

is produced by the following $\LaTeX$ code:

s \mathrel \RR t