diff -r f74a33b14200 -r 0046bacc5f5b etc/symbols
--- a/etc/symbols	Sat Jan 09 12:35:07 2016 +0100
+++ b/etc/symbols	Sat Jan 09 12:58:57 2016 +0100
@@ -222,6 +222,7 @@
 \<not>                  code: 0x0000ac  group: logic  abbrev: ~
 \<box>                  code: 0x0025a1  group: logic
 \<diamond>              code: 0x0025c7  group: logic
+\<diamondop>            code: 0x0022c4  group: operator
 \<turnstile>            code: 0x0022a2  group: relation  abbrev: |-
 \<Turnstile>            code: 0x0022a8  group: relation  abbrev: |=
 \<tturnstile>           code: 0x0022a9  group: relation  abbrev: |-
@@ -346,7 +347,6 @@
 \<lozenge>              code: 0x0025ca
 \<wp>                   code: 0x002118
 \<wrong>                code: 0x002240  group: relation
-\<struct>               code: 0x0022c4
 \<acute>                code: 0x0000b4
 \<index>                code: 0x000131
 \<dieresis>             code: 0x0000a8