From 229300bb4a244fccb110d467045d830af83aec86 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Mon, 13 May 2024 17:37:24 +0200
Subject: [PATCH] replace unicode chars in rst to make pdf work

---
 .../yosys_internals/formats/cell_library.rst    | 17 +++++++++--------
 1 file changed, 9 insertions(+), 8 deletions(-)

diff --git a/docs/source/yosys_internals/formats/cell_library.rst b/docs/source/yosys_internals/formats/cell_library.rst
index 70c36e6e747..7a19255a3d0 100644
--- a/docs/source/yosys_internals/formats/cell_library.rst
+++ b/docs/source/yosys_internals/formats/cell_library.rst
@@ -689,14 +689,15 @@ There are 2 products to be summed, so ``\DEPTH`` shall be 2.
 
 .. code-block::
 
-	~A[2]-----┐
-	 A[2]----┐|
-	~A[1]---┐||
-	 A[1]--┐|||
-	~A[0]-┐||||
-	 A[0]┐||||| product formula
-	     010000 ~\A[0]
-	     001001 \A[1]~\A[2]
+    ~A[2]-----+
+     A[2]----+|
+    ~A[1]---+||
+     A[1]--+|||
+    ~A[0]-+||||
+     A[0]+||||| 
+         |||||| product formula
+         010000 ~\A[0]
+         001001 \A[1]~\A[2]
 
 So the value of ``\TABLE`` will become ``010000001001``.