✎ ⊥;
✎("x" + ⊥);
✎ [⊥, 1];