2 ms·

Logical and typing judgements can be presented in many different ways, triples like ∆⊢e:A being one of them.