#Mathtodon はこの年末のどこかで小一時間(目標の)メンテナンスしようと思います。なんか繋がらないと思われたら、生暖かく arXiv なりなんなりでもご覧になられながらお待ち下さい。
$\exists$ Maintenance time $M$ such that $M \subset$ from now to the end of the year and $|M| < 1\ \mbox{hour}$
#Mathtodon はこの年末のどこかで小一時間(目標の)メンテナンスしようと思います。なんか繋がらないと思われたら、生暖かく arXiv なりなんなりでもご覧になられながらお待ち下さい。
$\exists$ Maintenance time $M$ such that $M \subset$ from now to the end of the year and $|M| < 1\ \mbox{hour}$