etc/options

   -- "update inner syntax (types, terms, etc.) to use cartouches"
 
 option update_mixfix_cartouches : bool = false
   -- "update mixfix templates to use cartouches instead of double quotes"
 
+option update_control_cartouches : bool = false
+  -- "update antiquotations to use control symbol with cartouche argument"
+
 
 section "Build Database"
 
 option build_database_server : bool = false
 option build_database_user : string = ""