diff --git a/doc/data.txt b/doc/data.txt
index 3a0d7cdb..1a04f1a9 100644
--- a/doc/data.txt
+++ b/doc/data.txt
@@ -59,12 +59,12 @@ exclusions.
 
 An example file looks like this:
 
-  exc monday 8:00:00-12:00:00 12:45:00-17:30:00
-  exc tuesday 8:00:00-12:00:00 12:45:00-18:30:00
-  exc wednesday 8:00:00-12:00:00 13:30:00-17:30:00
-  exc thursday 8:00:00-12:00:00 12:45:00-17:30:00
-  exc friday 8:00:00-12:00:00 12:45:00-17:30:00
-  exc day on 2016-01-01
+  exc monday    <8:00:00 12:00:00-12:45:00 >17:30:00
+  exc tuesday   <8:00:00 12:00:00-12:45:00 >18:30:00
+  exc wednesday <8:00:00 12:00:00-13:30:00 >17:30:00
+  exc thursday  <8:00:00 12:00:00-12:45:00 >17:30:00
+  exc friday    <8:00:00 12:00:00-12:45:00 >17:30:00
+  exc day on  2016-01-01
   exc day off 2016-01-02
 
   inc 20160228T080000Z - 20160228T120000Z # Upgrade Planning
diff --git a/doc/intro.txt b/doc/intro.txt
index 0519ec8f..8836114b 100644
--- a/doc/intro.txt
+++ b/doc/intro.txt
@@ -35,11 +35,11 @@ Or if you forgot a whole activity:
 More sophisticated use is possible if you have defined your work week with:
 
   define exclusions:
-    monday    = 8:00:00-12:00:00 12:45:00-17:30:00
-    tuesday   = 8:00:00-12:00:00 12:45:00-18:30:00
-    wednesday = 8:00:00-12:00:00 13:30:00-17:30:00
-    thursday  = 8:00:00-12:00:00 12:45:00-17:30:00
-    friday    = 8:00:00-12:00:00 12:45:00-17:30:00
+    monday    = <8:00:00 12:00:00-12:45:00 >17:30:00
+    tuesday   = <8:00:00 12:00:00-12:45:00 >18:30:00
+    wednesday = <8:00:00 12:00:00-13:30:00 >17:30:00
+    thursday  = <8:00:00 12:00:00-12:45:00 >17:30:00
+    friday    = <8:00:00 12:00:00-12:45:00 >17:30:00
 
   $ timew track yesterday Home Painting
 
diff --git a/doc/rules.txt b/doc/rules.txt
index eef3c14b..9c34f0e7 100644
--- a/doc/rules.txt
+++ b/doc/rules.txt
@@ -77,11 +77,12 @@ Because exclusions are resolved at run time, and only when needed, they should
 be stored in a readily-interpreted form:
 
   define exclusions:
-    monday    = 8:00:00-12:00:00 12:45:00-17:30:00
-    tuesday   = 8:00:00-12:00:00 12:45:00-18:30:00
-    wednesday = 8:00:00-12:00:00 13:30:00-17:30:00
-    thursday  = 8:00:00-12:00:00 12:45:00-17:30:00
-    friday    = 8:00:00-12:00:00 12:45:00-17:30:00
+    monday    = <8:00:00 12:00:00-12:45:00 >17:30:00
+    tuesday   = <8:00:00 12:00:00-12:45:00 >18:30:00
+    wednesday = <8:00:00 12:00:00-13:30:00 >17:30:00
+    thursday  = <8:00:00 12:00:00-12:45:00 >17:30:00
+    friday    = <8:00:00 12:00:00-12:45:00 >17:30:00
+
     days:
       2016_01_01 = Working
       2016_01_02 = Off