diff -r 8b9d75d8f0b4 -r 2555713586c8 etc/symbols
--- a/etc/symbols	Fri Jan 12 20:19:59 2018 +0100
+++ b/etc/symbols	Sat Jan 13 11:22:46 2018 +0100
@@ -388,6 +388,7 @@
 \<^action>              code: 0x00261b  group: icon  argument: cartouche  font: IsabelleText
 \<^assert>
 \<^binding>             argument: cartouche
+\<^cancel>              argument: cartouche
 \<^class>               argument: cartouche
 \<^class_syntax>        argument: cartouche
 \<^command_keyword>     argument: cartouche