From bd13537ee2fb704b02b961b5d06dd4f406f19a71 Mon Sep 17 00:00:00 2001
From: Prefetch
Date: Sat, 21 Oct 2023 14:21:59 +0200
Subject: Improve knowledge base

---
 source/know/concept/ghz-paradox/index.md | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'source/know/concept/ghz-paradox')

diff --git a/source/know/concept/ghz-paradox/index.md b/source/know/concept/ghz-paradox/index.md
index 9951883..758e12f 100644
--- a/source/know/concept/ghz-paradox/index.md
+++ b/source/know/concept/ghz-paradox/index.md
@@ -11,13 +11,13 @@ layout: "concept"
 
 The **Greenberger-Horne-Zeilinger** or **GHZ paradox**
 is an alternative proof of [Bell's theorem](/know/concept/bells-theorem/)
-that does not use inequalities,
-but the three-particle entangled **GHZ state** $$\ket{\mathrm{GHZ}}$$ instead,
+that does not use inequalities, but instead
+the three-particle entangled **GHZ state** $$\ket{\mathrm{GHZ}}$$:
 
 $$\begin{aligned}
     \boxed{
         \ket{\mathrm{GHZ}}
-        = \frac{1}{\sqrt{2}} \Big( \ket{000} + \ket{111} \Big)
+        \equiv \frac{1}{\sqrt{2}} \Big( \ket{000} + \ket{111} \Big)
     }
 \end{aligned}$$
 
@@ -49,8 +49,8 @@ $$\begin{aligned}
 
 In other words, the GHZ state is a simultaneous eigenstate of these composite operators,
 with eigenvalues $$+1$$ and $$-1$$, respectively.
-Let us introduce two more operators in the same way,
-so that we have a set of four observables,
+Let us do the same for two more operators,
+so that we have a set of four observables
 for which $$\ket{\mathrm{GHZ}}$$ gives these eigenvalues:
 
 $$\begin{aligned}
-- 
cgit v1.2.3