diff --git a/1FundamentalGroup/Quest0Part0.md b/1FundamentalGroup/Quest0Part0.md index 14898b9..5933a58 100644 --- a/1FundamentalGroup/Quest0Part0.md +++ b/1FundamentalGroup/Quest0Part0.md @@ -32,7 +32,7 @@ in the first case `Type` is the space of spaces.
Further details -This is called a __higher inductive type_ (HIT), which generally +This is called a _higher inductive type_ (HIT), which generally follows the format of - `data`