From a039ad4212813b954ddde986eccb01bf1d000fe1 Mon Sep 17 00:00:00 2001
From: Lars Brinkhoff <lars@nocrew.org>
Date: Thu, 2 Mar 2017 09:54:35 +0100
Subject: [PATCH] Document the ITS character set.

---
 doc/_info_/char.its | 36 ++++++++++++++++++++++++++++++++++++
 1 file changed, 36 insertions(+)
 create mode 100644 doc/_info_/char.its

diff --git a/doc/_info_/char.its b/doc/_info_/char.its
new file mode 100644
index 00000000..579db960
--- /dev/null
+++ b/doc/_info_/char.its
@@ -0,0 +1,36 @@
+ITS character set.  It's similar to the SAIL character set, but not
+identical.  These are the exceptions to standard ASCII.
+
+^@	centered dot
+^A	downarrow
+^B	alpha
+^C	beta
+^D	logical and
+^E	logical not
+^F	epsilon
+^G	pi
+^H	lambda
+^I	gamma
+^J	delta
+^K	uparrow
+^L	plus-minus
+^M	circle-plus
+^N	infinity
+^O	partial delta
+^P	subset of
+^Q	contains
+^R	intersect
+^S	union
+^T	for all
+^U	there exists
+^V	circle-X
+^W	equivalence (two way arrow)
+^X	back arrow
+^Y	forward arrow
+^Z	not equal (=/)
+^[	lozenge (diamond)
+^\	less than or equal 
+^]	greater than or equal
+^^	equivalence (three bars)
+^_	logical or
+^?	integral