>>2
長すぎます。

いや、「属する」って動詞でしょ？
名前じゃないよね？
あと「＜」これ。
「小なり」ってどういう了見ですか？
「なり」ってそれ。
平叙文じゃん。
文章じゃん。
「⊂」。
英語でも is contained in ってそれ。

こんなもんリテラルに　∈　や　＜　や　⊂　を指し示したいとき不便すぎ。
どうして誰もこのあたりを整備してこなかったのよ？