{{ 'NEW_TABLEAU' | translate }}
{{ 'OPEN' | translate }}
{{'OPEN' | translate}}
{{ 'SAVE' | translate }}
{{'SAVE' | translate}}
{{ 'CHECK_STEP' | translate }}
{{'CHECK_STEP' | translate}}
{{ 'UNDO' | translate }}
{{'UNDO' | translate}}
{{ 'ADD' | translate }}
{{'ADD' | translate}}
{{ 'HELP' | translate }}
{{'HELP' | translate}}
{{ 'THEME' | translate }}
{{'THEME' | translate}}
{{ 'CODE' | translate }}
{{'CODE' | translate}}
{{ 'OTHER_LANGUAGE' | translate }}
{{'OTHER_LANGUAGE' | translate}}
{{'OTHER_LANGUAGE_ABBR' | translate}}
{{ 'UNDO' | translate }}
{{ 'CHECK_STEP' | translate }}
{{ 'ADD' | translate }}
{{ 'MORE' | translate }}
{{ 'OPEN' | translate }}
{{ 'SAVE' | translate }}
{{ 'CHECK_STEP' | translate }}
{{ 'UNDO' | translate }}
{{ 'ADD' | translate }}
{{ 'HELP' | translate }}
{{ 'THEME' | translate }}
{{ 'CODE' | translate }}
{{ 'OTHER_LANGUAGE' | translate }}
Unmatched parenthesis!
Not a sentence!
{{node.formula.unicode}}
∨
∧
¬
→
↔
∀
∃
=
≠
*
Tet
Small
Smaller
Cube
Medium
SameSize
Dodec
Large
Larger
Adjoins
BackOf
SameShape
LeftOf
Between
RightOf
SameCol
FrontOf
SameRow