こんにちは執筆ご苦労様です。記号論理学シリーズですか。集合と位相ゼミもバリバリ書いているようでなによりです。がんばってください。
ところで、間違いと思われるものを発見しました。 最後のほうの⇔の表が⇒になっています。
( ^□^)<レフトライトアロー!!!111!!1
……最近は活気があっていいなぁと思う今日この頃です。