equal
deleted
inserted
replaced
379 \<Zdres> code: 0x0025C1 group: Z_Notation group: relation |
379 \<Zdres> code: 0x0025C1 group: Z_Notation group: relation |
380 \<Zndres> code: 0x002A64 group: Z_Notation group: relation |
380 \<Zndres> code: 0x002A64 group: Z_Notation group: relation |
381 \<Zrres> code: 0x0025B7 group: Z_Notation group: relation |
381 \<Zrres> code: 0x0025B7 group: Z_Notation group: relation |
382 \<Znrres> code: 0x002A65 group: Z_Notation group: relation |
382 \<Znrres> code: 0x002A65 group: Z_Notation group: relation |
383 \<Zspot> code: 0x002981 group: Z_Notation group: punctuation |
383 \<Zspot> code: 0x002981 group: Z_Notation group: punctuation |
|
384 \<Zproject> code: 0x002A21 group: Z_Notation group: operator |
384 \<Ztypecolon> code: 0x002982 group: Z_Notation group: relation |
385 \<Ztypecolon> code: 0x002982 group: Z_Notation group: relation |
385 \<Zhide> code: 0x0029F9 group: Z_Notation group: operator |
386 \<Zhide> code: 0x0029F9 group: Z_Notation group: operator |
386 \<Zcat> code: 0x002040 group: Z_Notation group: operator |
387 \<Zcat> code: 0x002040 group: Z_Notation group: operator |
387 \<hole> code: 0x002311 |
388 \<hole> code: 0x002311 |
388 \<newline> code: 0x0023ce |
389 \<newline> code: 0x0023ce |