>>813
>>773 で \middle| に関して引用して \middle| の前後に空きを入れることを否定してたじゃん
それなのに \vrule の前後には空きを自分で入れればいいとかダブスタもいいとこだなおいｗ

>その程度のレベルの人を対象にしてません

あんたのレベルだって初心者レベルじゃん

>はっきりいって、\mid の定義が不適切とも考えられるんです

自分でこのようにした方がいいということがあるんだったらせっかく英語も嗜まれているようですからパッケージ製作者に提案でもしたらいかがですか？