:- is the cell rune.
:-
[1 2] is its irregular form.
[1 2]
:- makes a cell: an ordered pair.
:-(1 2) is [1 2].
:-(1 2)
irregular forms:
[a b] is :-(a b)
[a b]
:-(a b)