Mixfix

A notation to write down an instance of an N-place relation. For example, for a ternary relation $R$, one can write $\Gamma \vdash t : T$ to denote $(\Gamma, t, T) \in R$.