From 5a0fc8a94692505c83ba2707a852cb99b5843807 Mon Sep 17 00:00:00 2001
From: Alan Jeffrey <403333+asajeffrey@users.noreply.github.com>
Date: Thu, 13 Oct 2022 15:05:36 -0500
Subject: [PATCH] Update docs/_posts/2022-10-31-luau-semantic-subtyping.md

Co-authored-by: Alexander McCord <11488393+alexmccord@users.noreply.github.com>
---
 docs/_posts/2022-10-31-luau-semantic-subtyping.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/_posts/2022-10-31-luau-semantic-subtyping.md b/docs/_posts/2022-10-31-luau-semantic-subtyping.md
index 6e8d9f80..9280d78a 100644
--- a/docs/_posts/2022-10-31-luau-semantic-subtyping.md
+++ b/docs/_posts/2022-10-31-luau-semantic-subtyping.md
@@ -55,7 +55,7 @@ AKA “what we did before.”
 
 Syntactic subtyping is a syntax-directed recursive algorithm. The interesting cases to deal with intersection and union types are:
 
-i* Reflexivity: `T` is a subtype of `T`
+* Reflexivity: `T` is a subtype of `T`
 * Intersection L: `(T₁ & … & Tⱼ)` is a subtype of `U` whenever some of the `Tᵢ` are subtypes of `U`
 * Union L: `(T₁ | … | Tⱼ)` is a subtype of `U` whenever all of the `Tᵢ` are subtypes of `U`
 * Intersection R: `T` is a subtype of `(U₁ & … & Uⱼ)` whenever `T` is a subtype of some of the `Uᵢ`