From 4850e57afa43775f774e908fb332ae4a03b2b02c Mon Sep 17 00:00:00 2001
From: Alex Zolotko <azolotko@gmail.com>
Date: Fri, 15 May 2020 10:10:29 +0200
Subject: [PATCH] Fix table markup in docs/internals/type-system.md

---
 docs/docs/internals/type-system.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/docs/internals/type-system.md b/docs/docs/internals/type-system.md
index 6725815d8fc1..30aa907f6773 100644
--- a/docs/docs/internals/type-system.md
+++ b/docs/docs/internals/type-system.md
@@ -57,7 +57,7 @@ Type -+- ProxyType --+- NamedType ----+--- TypeRef
  `p.x.T` == `p.x.type#T`   | `TypeRef(TermRef(p, x), T)`
  `this.type`               | `ThisType`
  `A & B`                   | `AndType(A, B)`
- `A | B`                   | `OrType(A, B)`
+ <code>A \| B</code>       | `OrType(A, B)`
  `=> T`                    | `ExprType(T)`
  `p { refinedName }`       | `RefinedType(p, refinedName)`
  type of the value `super` | `SuperType`