diff -r 17874d43d3b3 -r 5348bea4accd src/Pure/variable.ML
--- a/src/Pure/variable.ML	Sun Feb 25 12:59:08 2018 +0100
+++ b/src/Pure/variable.ML	Sun Feb 25 15:44:46 2018 +0100
@@ -642,7 +642,7 @@
 val trade = gen_trade (import true) export;
 
 
-(* focus on outermost parameters: !!x y z. B *)
+(* focus on outermost parameters: \<And>x y z. B *)
 
 val bound_focus =
   Config.bool (Config.declare ("bound_focus", \<^here>) (K (Config.Bool false)));