Facts

Use only alphanumeric symbols and '_'. You can start with '~'.

Rules

Rule 1

It must have the form: a -> b, a => b or a ~> b.

Sup. relations

It must have the form: rx < ry or rx > ry, where x,y are numbers.

Upload a JSON theory (API)