Faacets supports three notations:

• terms specified using full probabilities, writing P(abc...|xyz...),
• terms in the Collins-Gisin notation, by specifying the parties P_AB(ab|xy),
• correlator terms using the notation < Ax By ... >, with the input and output numbering starting at 1.

Expressions can be entered using rational coefficients before each term. Constant terms, parentheses, operators such as <= or >= are not supported.