src/HOL/Library/README.html

 <tt>\&lt;Inter&gt;</tt>,
 <tt>\&lt;Union&gt;</tt>,
 <tt>\&lt;and&gt;</tt>,
 <tt>\&lt;in&gt;</tt>,
 <tt>\&lt;inter&gt;</tt>,
+<tt>\&lt;le&gt;</tt>,
 <tt>\&lt;not&gt;</tt>,
 <tt>\&lt;noteq&gt;</tt>,
 <tt>\&lt;notin&gt;</tt>,
 <tt>\&lt;or&gt;</tt>,
 <tt>\&lt;subset&gt;</tt>,