1.1 --- a/doc-src/IsarRef/isar-ref.tex	Mon Feb 12 20:43:12 2001 +0100
     1.2 +++ b/doc-src/IsarRef/isar-ref.tex	Mon Feb 12 20:44:02 2001 +0100
     1.3 @@ -18,6 +18,7 @@
     1.4  \newcommand{\isasymrightharpoonup}{\isamath{\rightharpoonup}}
     1.5  \newcommand{\isasymrightleftharpoons}{\isamath{\rightleftharpoons}}
     1.6  \newcommand{\isasymequiv}{\isamath{\equiv}}
     1.7 +\newcommand{\isasymsubseteq}{\isamath{\subseteq}}
     1.8  
     1.9  \railterm{percent,ppercent,underscore,lbrace,rbrace,atsign}
    1.10  \railterm{ident,longident,symident,var,textvar,typefree,typevar,nat,string,verbatim,keyword}