metaclass | Хотите сойти с ума?

Попытайтесь найти в гугле значения математических символов ⊢ и ⊥
:)

Да, кстати, их еще и не все браузеры показывают. Первый это "right tack" ⊢ а второй "up tack" ⊥