User:Maschen/Time–ordering symbol

never mind... see Path-ordering