関連して雑談的に思ったんですが、 T|U は T か U のどちらか一方しか許さないのに、 t|u は t と u の両方を許容していて、 T|U はむしろ t^u 的で T^U なんじゃないかという気が。