diff --git a/doc/tutorial/basics/lists.md b/doc/tutorial/basics/lists.md
index f583308..dd1889f 100644
--- a/doc/tutorial/basics/lists.md
+++ b/doc/tutorial/basics/lists.md
@@ -10,7 +10,7 @@
 additional, possibly typed elements.
 
 In the example we define `IP` to be a list of `4` elements of type `uint8`, which
-is a predeclared value of `0..255`.
+is a predeclared value of `>=0 & <=255`.
 `PrivateIP` defines the IP ranges defined for private use.
 Note that as it is already defined to be an `IP`, the length of the list
 is already fixed at `4` and we do not have to specify a value for all elements.
@@ -25,7 +25,7 @@
 IP: 4 * [ uint8 ]
 
 PrivateIP: IP
-PrivateIP: [10, ...uint8] | [192, 168, ...] | [172, 16..32, ...]
+PrivateIP: [10, ...uint8] | [192, 168, ...] | [172, >=16 & <=32, ...]
 
 myIP: PrivateIP
 myIP: [10, 2, 3, 4]
@@ -36,11 +36,11 @@
 
 <!-- result -->
 ```
-IP: [0..255, 0..255, 0..255, 0..255]
+IP: [>=0 & <=255, >=0 & <=255, >=0 & <=255, >=0 & <=255]
 PrivateIP:
-    [10, 0..255, 0..255, 0..255] |
-    [192, 168, 0..255, 0..255] |
-    [172, 16..32, 0..255, 0..255]
+    [10, >=0 & <=255, >=0 & <=255, >=0 & <=255] |
+    [192, 168, >=0 & <=255, >=0 & <=255] |
+    [172, >=16 & <=32, >=0 & <=255, >=0 & <=255]
 
 myIP:   [10, 2, 3, 4]
 yourIP: _|_