From 343a2f84591e499e45efa3f73a43e97be56af943 Mon Sep 17 00:00:00 2001
From: Simon Forman <sforman@hushmail.com>
Date: Wed, 11 Jul 2018 07:11:56 -0700
Subject: [PATCH] Unicode in docstring.

---
 joy/utils/polytypes.py | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/joy/utils/polytypes.py b/joy/utils/polytypes.py
index ee83db2..f806097 100644
--- a/joy/utils/polytypes.py
+++ b/joy/utils/polytypes.py
@@ -43,16 +43,16 @@ class IntJoyType(NumberJoyType): prefix = 'i'
 
 
 class KleeneStar(object):
-    '''
+    u'''
     A sequence of zero or more `AnyJoyType` variables would be:
 
        A*
 
     The `A*` works by splitting the universe into two alternate histories:
 
-       A* -> 0
+       A* → ∅
 
-       A* -> A A*
+       A* → A A*
 
     The Kleene star variable disappears in one universe, and in the other
     it turns into an `AnyJoyType` variable followed by itself again.