234 \<in> code: 0x002208 font: Isabelle abbrev: : |
234 \<in> code: 0x002208 font: Isabelle abbrev: : |
235 \<notin> code: 0x002209 font: Isabelle abbrev: ~: |
235 \<notin> code: 0x002209 font: Isabelle abbrev: ~: |
236 \<subset> code: 0x002282 font: Isabelle |
236 \<subset> code: 0x002282 font: Isabelle |
237 \<supset> code: 0x002283 font: Isabelle |
237 \<supset> code: 0x002283 font: Isabelle |
238 \<subseteq> code: 0x002286 font: Isabelle abbrev: (= |
238 \<subseteq> code: 0x002286 font: Isabelle abbrev: (= |
239 \<supseteq> code: 0x002287 font: Isabelle abbrev: )= |
239 \<supseteq> code: 0x002287 font: Isabelle abbrev: =) |
240 \<sqsubset> code: 0x00228f font: Isabelle |
240 \<sqsubset> code: 0x00228f font: Isabelle |
241 \<sqsupset> code: 0x002290 font: Isabelle |
241 \<sqsupset> code: 0x002290 font: Isabelle |
242 \<sqsubseteq> code: 0x002291 font: Isabelle abbrev: [= |
242 \<sqsubseteq> code: 0x002291 font: Isabelle abbrev: [= |
243 \<sqsupseteq> code: 0x002292 font: Isabelle abbrev: ]= |
243 \<sqsupseteq> code: 0x002292 font: Isabelle abbrev: =] |
244 \<inter> code: 0x002229 font: Isabelle abbrev: Int |
244 \<inter> code: 0x002229 font: Isabelle abbrev: Int |
245 \<Inter> code: 0x0022c2 font: Isabelle abbrev: Inter |
245 \<Inter> code: 0x0022c2 font: Isabelle abbrev: Inter |
246 \<union> code: 0x00222a font: Isabelle abbrev: Un |
246 \<union> code: 0x00222a font: Isabelle abbrev: Un |
247 \<Union> code: 0x0022c3 font: Isabelle abbrev: Union |
247 \<Union> code: 0x0022c3 font: Isabelle abbrev: Union |
248 \<squnion> code: 0x002294 font: Isabelle abbrev: || |
248 \<squnion> code: 0x002294 font: Isabelle abbrev: || |
289 \<triangleright> code: 0x0025b9 font: Isabelle |
289 \<triangleright> code: 0x0025b9 font: Isabelle |
290 \<triangle> code: 0x0025b3 font: Isabelle |
290 \<triangle> code: 0x0025b3 font: Isabelle |
291 \<triangleq> code: 0x00225c font: Isabelle |
291 \<triangleq> code: 0x00225c font: Isabelle |
292 \<oplus> code: 0x002295 font: Isabelle abbrev: +o |
292 \<oplus> code: 0x002295 font: Isabelle abbrev: +o |
293 \<Oplus> code: 0x002a01 font: Isabelle abbrev: +O |
293 \<Oplus> code: 0x002a01 font: Isabelle abbrev: +O |
294 \<otimes> code: 0x002297 font: Isabelle abbrev: xo |
294 \<otimes> code: 0x002297 font: Isabelle abbrev: *o |
295 \<Otimes> code: 0x002a02 font: Isabelle abbrev: xO |
295 \<Otimes> code: 0x002a02 font: Isabelle abbrev: *O |
296 \<odot> code: 0x002299 font: Isabelle abbrev: .o |
296 \<odot> code: 0x002299 font: Isabelle abbrev: .o |
297 \<Odot> code: 0x002a00 font: Isabelle abbrev: .O |
297 \<Odot> code: 0x002a00 font: Isabelle abbrev: .O |
298 \<ominus> code: 0x002296 font: Isabelle abbrev: -o |
298 \<ominus> code: 0x002296 font: Isabelle abbrev: -o |
299 \<oslash> code: 0x002298 font: Isabelle abbrev: /o |
299 \<oslash> code: 0x002298 font: Isabelle abbrev: /o |
300 \<dots> code: 0x002026 font: Isabelle abbrev: ... |
300 \<dots> code: 0x002026 font: Isabelle abbrev: ... |
301 \<cdots> code: 0x0022ef font: Isabelle |
301 \<cdots> code: 0x0022ef font: Isabelle |
302 \<Sum> code: 0x002211 font: Isabelle abbrev: SUM |
302 \<Sum> code: 0x002211 font: Isabelle abbrev: SUM |
303 \<Prod> code: 0x00220f font: Isabelle abbrev: PROD |
303 \<Prod> code: 0x00220f font: Isabelle abbrev: PROD |
304 \<Coprod> code: 0x002210 font: Isabelle |
304 \<Coprod> code: 0x002210 font: Isabelle |
305 \<infinity> code: 0x00221e font: Isabelle abbrev: oo |
305 \<infinity> code: 0x00221e font: Isabelle |
306 \<integral> code: 0x00222b font: Isabelle |
306 \<integral> code: 0x00222b font: Isabelle |
307 \<ointegral> code: 0x00222e font: Isabelle |
307 \<ointegral> code: 0x00222e font: Isabelle |
308 \<clubsuit> code: 0x002663 font: Isabelle |
308 \<clubsuit> code: 0x002663 font: Isabelle |
309 \<diamondsuit> code: 0x002662 font: Isabelle |
309 \<diamondsuit> code: 0x002662 font: Isabelle |
310 \<heartsuit> code: 0x002661 font: Isabelle |
310 \<heartsuit> code: 0x002661 font: Isabelle |