// a variable
a int := 1
a <=> 1

// another variable
b int := 2
b <=> 2

// assignment
a = b
a <=> 2

// ordering
c int := 3
d int := 4
c <=> 3
d <=> 4