# HG changeset patch
# User wenzelm
# Date 1616069009 -3600
# Node ID c5315b89c1bfd48910b5fefa3f3a91fa3b24dcb8
# Parent  7ca886bf7156fd8fa7ee399ca006ebd751da4d52
more Z_Notation symbols, as proposed by Simon Foster;

diff -r 7ca886bf7156 -r c5315b89c1bf etc/symbols
--- a/etc/symbols	Thu Mar 18 12:53:05 2021 +0100
+++ b/etc/symbols	Thu Mar 18 13:03:29 2021 +0100
@@ -148,17 +148,17 @@
 \<Phi>                  code: 0x0003a6  group: greek
 \<Psi>                  code: 0x0003a8  group: greek
 \<Omega>                code: 0x0003a9  group: greek
-\<bool>                 code: 0x01d539  group: letter
+\<bool>                 code: 0x01d539  group: letter  group: Z_Notation
 \<complex>              code: 0x002102  group: letter
-\<nat>                  code: 0x002115  group: letter
+\<nat>                  code: 0x002115  group: letter  group: Z_Notation
 \<rat>                  code: 0x00211a  group: letter
-\<real>                 code: 0x00211d  group: letter
+\<real>                 code: 0x00211d  group: letter  group: Z_Notation
 \<int>                  code: 0x002124  group: letter
 \<leftarrow>            code: 0x002190  group: arrow  abbrev: <.
 \<longleftarrow>        code: 0x0027f5  group: arrow  abbrev: <.
 \<longlongleftarrow>    code: 0x00290e  group: arrow  abbrev: <.
 \<longlonglongleftarrow> code: 0x0021e0 group: arrow  abbrev: <.
-\<rightarrow>           code: 0x002192  group: arrow  abbrev: .>  abbrev: ->
+\<rightarrow>           code: 0x002192  group: arrow  group: Z_Notation  abbrev: .>  abbrev: ->
 \<longrightarrow>       code: 0x0027f6  group: arrow  abbrev: .>  abbrev: -->
 \<longlongrightarrow>   code: 0x00290f  group: arrow  abbrev: .>  abbrev: --->
 \<longlonglongrightarrow> code: 0x0021e2 group: arrow abbrev: .>  abbrev: --->
@@ -183,7 +183,7 @@
 \<leftharpoonup>        code: 0x0021bc  group: arrow  abbrev: <.
 \<rightharpoonup>       code: 0x0021c0  group: arrow  abbrev: .>
 \<rightleftharpoons>    code: 0x0021cc  group: arrow  abbrev: <> abbrev: ==
-\<leadsto>              code: 0x00219d  group: arrow  abbrev: .> abbrev: ~>
+\<leadsto>              code: 0x00219d  group: arrow  group: Z_Notation  abbrev: .> abbrev: ~>
 \<downharpoonleft>      code: 0x0021c3  group: arrow
 \<downharpoonright>     code: 0x0021c2  group: arrow
 \<upharpoonleft>        code: 0x0021bf  group: arrow
@@ -301,7 +301,7 @@
 \<triangleright>        code: 0x0025b9  group: relation
 \<triangle>             code: 0x0025b3  group: relation
 \<triangleq>            code: 0x00225c  group: relation
-\<oplus>                code: 0x002295  group: operator
+\<oplus>                code: 0x002295  group: operator  group: Z_Notation
 \<Oplus>                code: 0x002a01  group: operator
 \<otimes>               code: 0x002297  group: operator
 \<Otimes>               code: 0x002a02  group: operator
@@ -360,7 +360,7 @@
 \<cedilla>              code: 0x0000b8
 \<hungarumlaut>         code: 0x0002dd
 \<bind>                 code: 0x00291c  group: operator  abbrev: >>=
-\<then>                 code: 0x002aa2  group: operator  abbrev: >>
+\<then>                 code: 0x002aa2  group: operator  group: Z_Notation  abbrev: >>
 \<some>                 code: 0x0003f5
 \<Zpower>               code: 0x002119  group: Z_Notation  group: letter
 \<Zfinset>              code: 0x01D53D  group: Z_Notation  group: letter