TopSymbol: "⊤" = '⊤'