Various tests for semantics

michael@0: michael@0: michael@0: michael@0: michael@0: Various tests for semantics michael@0: michael@0: michael@0: michael@0: michael@0:

$michael@0: michael@0: michael@0: {michael@0:}_{□■□}^{michael@0:} michael@0: michael@0: michael@0:$

michael@0: michael@0: michael@0:

$michael@0: \overset{}{michael@0:} michael@0:$

michael@0: michael@0: michael@0:

■□■□■□ $michael@0: michael@0: michael@0: lcm michael@0: (michael@0: a michael@0:, michael@0: b michael@0:) michael@0: michael@0: = michael@0: \frac{michael@0:}{michael@0: (michael@0: a michael@0: michael@0: b michael@0:) michael@0:} michael@0: michael@0:$ ■□■□■□

michael@0: michael@0: michael@0:

■□■□■□ $michael@0: michael@0: 1 michael@0: 2 michael@0: 3 michael@0: 4 michael@0: 5 michael@0: michael@0:$ ■□■□■□

michael@0: michael@0: michael@0:

■□■□■□ $michael@0: michael@0: 1 michael@0: 2 michael@0: 3 michael@0: 4 michael@0: 5 michael@0: michael@0:$ ■□■□■□

michael@0: michael@0: