Mercurial Mercurial > wneuper > isa / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
etc/symbols
changeset 33074 e6eda76ad49e
parent 31815 52ec1ca1456b
child 33300 939ca97f5a11
equal deleted inserted replaced
33073:2f6ce3b9ec39 33074:e6eda76ad49e 
   242 \<sqsupseteq>           code: 0x002292  font: Isabelle  abbrev: =]
 
   242 \<sqsupseteq>           code: 0x002292  font: Isabelle  abbrev: =]
 
   243 \<inter>                code: 0x002229  font: Isabelle  abbrev: Int
 
   243 \<inter>                code: 0x002229  font: Isabelle  abbrev: Int
 
   244 \<Inter>                code: 0x0022c2  font: Isabelle  abbrev: Inter
 
   244 \<Inter>                code: 0x0022c2  font: Isabelle  abbrev: Inter
 
   245 \<union>                code: 0x00222a  font: Isabelle  abbrev: Un
 
   245 \<union>                code: 0x00222a  font: Isabelle  abbrev: Un
 
   246 \<Union>                code: 0x0022c3  font: Isabelle  abbrev: Union
 
   246 \<Union>                code: 0x0022c3  font: Isabelle  abbrev: Union
 
   247 \<squnion>              code: 0x002294  font: Isabelle  abbrev: ||
 
   247 \<squnion>              code: 0x002294  font: Isabelle  abbrev: |_|
 
   248 \<Squnion>              code: 0x002a06  font: Isabelle  abbrev: |||
 
   248 \<Squnion>              code: 0x002a06  font: Isabelle  abbrev: |||
 
   249 \<sqinter>              code: 0x002293  font: Isabelle  abbrev: &&
 
   249 \<sqinter>              code: 0x002293  font: Isabelle  abbrev: &&
 
   250 \<Sqinter>              code: 0x002a05  font: Isabelle  abbrev: &&&
 
   250 \<Sqinter>              code: 0x002a05  font: Isabelle  abbrev: &&&
 
   251 \<setminus>             code: 0x002216  font: Isabelle
 
   251 \<setminus>             code: 0x002216  font: Isabelle
 
   252 \<propto>               code: 0x00221d  font: Isabelle
 
   252 \<propto>               code: 0x00221d  font: Isabelle
wneuper/isa