TransWikia.com

Colon between "that is" and formal definition

English Language & Usage Asked on March 28, 2021

Is it appropriate to use "that is" followed by a colon when defining something formally? I have the following example:

Let γ be the set of groups that hold variables accessed by C, that is:

γ = {g : ∃v accessed by C, such that v ∈ g}.

Would that be appropriate in terms of punctuation and style?

One Answer

With regard to punctuating that is, we follow Jane Straus's Blue Book of Grammar and Punctuation. It is preferable to use a semicolon before that is and a comma after is.

XXX; that is, XXX.

With regard to the best way to define something formally, that is not in the scope of this site.

Answered by user2683 on March 28, 2021

Add your own answers!

Ask a Question

Get help from others!

© 2024 TransWikia.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP