equal
deleted
inserted
replaced
209 \<and> code: 0x002227 font: Isabelle abbrev: /\ |
209 \<and> code: 0x002227 font: Isabelle abbrev: /\ |
210 \<And> code: 0x0022c0 font: Isabelle abbrev: !! |
210 \<And> code: 0x0022c0 font: Isabelle abbrev: !! |
211 \<or> code: 0x002228 font: Isabelle abbrev: \/ |
211 \<or> code: 0x002228 font: Isabelle abbrev: \/ |
212 \<Or> code: 0x0022c1 font: Isabelle abbrev: ?? |
212 \<Or> code: 0x0022c1 font: Isabelle abbrev: ?? |
213 \<forall> code: 0x002200 font: Isabelle abbrev: ! |
213 \<forall> code: 0x002200 font: Isabelle abbrev: ! |
214 \<exists> code: 0x002203 font: Isabelle abbrev: ?. |
214 \<exists> code: 0x002203 font: Isabelle abbrev: ? |
215 \<nexists> code: 0x002204 font: Isabelle abbrev: ?~ |
215 \<nexists> code: 0x002204 font: Isabelle abbrev: ~? |
216 \<not> code: 0x0000ac font: Isabelle abbrev: ~ |
216 \<not> code: 0x0000ac font: Isabelle abbrev: ~ |
217 \<box> code: 0x0025a1 font: Isabelle |
217 \<box> code: 0x0025a1 font: Isabelle |
218 \<diamond> code: 0x0025c7 font: Isabelle |
218 \<diamond> code: 0x0025c7 font: Isabelle |
219 \<turnstile> code: 0x0022a2 font: Isabelle abbrev: |- |
219 \<turnstile> code: 0x0022a2 font: Isabelle abbrev: |- |
220 \<Turnstile> code: 0x0022a8 font: Isabelle abbrev: |= |
220 \<Turnstile> code: 0x0022a8 font: Isabelle abbrev: |= |