that is

Short definition from Wiktionary

Adverb

In other words; that is to say. Used to introduce a clarification or explanation

We haven’t written up that is yet: Simple and Standard meanings, examples and a quiz.