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`