>>659
[n]が使われてるのを見たことがあるがメジャーではないな
ガウス記号や同値類と混同する可能性もあるし自然数の集合Nと一緒で0スタートか1スタートかわからない
実数の開・閉区間の整数バージョン欲しいな