The following table contains the special (mathematical) symbols used by KIV. You can check if your browser and your font supports all symbols. The second column should contain symbols that correspond to their symbolic name in the first column. If you see only a white box or a glyph that shows a hex-code this symbol is either not available in the currently selected font, or not supported by your browser.
| KIV Symbol name | UTF-8 encoded character | Hex Unicode | UTF-8 chars |
|---|---|---|---|
| \ | \ | #x5C | 5C |
| circle | ○ | #x25CB | E2/97/8B |
| box | □ | #x25A1 | E2/96/A1 |
| diamond | ◇ | #x25C7 | E2/97/87 |
| models | ⊧ | #x22A7 | E2/8A/A7 |
| follows | ⊦ | #x22A6 | E2/8A/A6 |
| lsem | ⟦ | #x27E6 | E2/9F/A6 |
| rsem | ⟧ | #x27E7 | E2/9F/A7 |
| le | ≤ | #x2264 | E2/89/A4 |
| ge | ≥ | #x2265 | E2/89/A5 |
| ssubset | ⊂ | #x2282 | E2/8A/82 |
| supset | ⊃ | #x2283 | E2/8A/83 |
| leftarrow | ← | #x2190 | E2/86/90 |
| implies | → | #x2192 | E2/86/92 |
| uparrow | ↑ | #x2191 | E2/86/91 |
| downarrow | ↓ | #x2193 | E2/86/93 |
| equivalent | ↔ | #x2194 | E2/86/94 |
| ni | ∋ | #x220B | E2/88/8B |
| in | ∈ | #x2208 | E2/88/88 |
| forall | ∀ | #x2200 | E2/88/80 |
| exists | ∃ | #x2203 | E2/88/83 |
| not | ¬ | #xAC | C2/AC |
| union | ∪ | #x222A | E2/88/AA |
| intersection | ∩ | #x2229 | E2/88/A9 |
| and | ∧ | #x2227 | E2/88/A7 |
| or | ∨ | #x2228 | E2/88/A8 |
| top | ⊤ | #x22A4 | E2/8A/A4 |
| bottom | ⊥ | #x22A5 | E2/8A/A5 |
| revsemimp | ⇐ | #x21D0 | E2/87/90 |
| semimp | ⇒ | #x21D2 | E2/87/92 |
| integral | ∫ | #x222B | E2/88/AB |
| infinity | ∞ | #x221E | E2/88/9E |
| lceil | ⌈ | #x2308 | E2/8C/88 |
| rceil | ⌉ | #x2309 | E2/8C/89 |
| subset | ⊆ | #x2286 | E2/8A/86 |
| supseteq | ⊇ | #x2287 | E2/8A/87 |
| Delta | Δ | #x394 | CE/94 |
| congruent | ≡ | #x2261 | E2/89/A1 |
| Phi | Φ | #x3A6 | CE/A6 |
| Gamma | Γ | #x393 | CE/93 |
| lfloor | ⌊ | #x230A | E2/8C/8A |
| rfloor | ⌋ | #x230B | E2/8C/8B |
| lsls | ≪ | #x226A | E2/89/AA |
| grgr | ≫ | #x226B | E2/89/AB |
| Lambda | Λ | #x39B | CE/9B |
| glb | ⊓ | #x2293 | E2/8A/93 |
| lub | ⊔ | #x2294 | E2/8A/94 |
| Omega | Ω | #x3A9 | CE/A9 |
| Pi | Π | #x3A0 | CE/A0 |
| parallel | ∥ | #x2225 | E2/88/A5 |
| triangle | △ | #x25B3 | E2/96/B3 |
| Sigma | Σ | #x3A3 | CE/A3 |
| times | × | #xD7 | C3/97 |
| strongdiamondopen | ⦉ | #x2989 | E2/A6/89 |
| lower | ⊑ | #x2291 | E2/8A/91 |
| higher | ⊒ | #x2292 | E2/8A/92 |
| Xi | Ξ | #x39E | CE/9E |
| Psi | Ψ | #x3A8 | CE/A8 |
| semequiv | ⇔ | #x21D4 | E2/87/94 |
| diamondopen | ⟨ | #x27E8 | E2/9F/A8 |
| neq | ≠ | #x2260 | E2/89/A0 |
| diamondclose | ⟩ | #x27E9 | E2/9F/A9 |
| sqless | ⊏ | #x228F | E2/8A/8F |
| sqgreater | ⊐ | #x2290 | E2/8A/90 |
| emptyset | ∅ | #x2205 | E2/88/85 |
| alpha | α | #x3B1 | CE/B1 |
| beta | β | #x3B2 | CE/B2 |
| chi | χ | #x3C7 | CF/87 |
| delta | δ | #x3B4 | CE/B4 |
| epsilon | ε | #x3B5 | CE/B5 |
| phi | φ | #x3C6 | CF/86 |
| gamma | γ | #x3B3 | CE/B3 |
| eta | η | #x3B7 | CE/B7 |
| iota | ι | #x3B9 | CE/B9 |
| bullet | ● | #x25CF | E2/97/8F |
| kappa | κ | #x3BA | CE/BA |
| lambda | λ | #x3BB | CE/BB |
| mu | μ | #x3BC | CE/BC |
| nu | ν | #x3BD | CE/BD |
| omega | ω | #x3C9 | CF/89 |
| pi | π | #x3C0 | CF/80 |
| theta | θ | #x3B8 | CE/B8 |
| rho | ρ | #x3C1 | CF/81 |
| sigma | σ | #x3C3 | CF/83 |
| tau | τ | #x3C4 | CF/84 |
| strongdiamondclose | ⦊ | #x298A | E2/A6/8A |
| lquine | ⌜ | #x231C | E2/8C/9C |
| rquine | ⌝ | #x231D | E2/8C/9D |
| xi | ξ | #x3BE | CE/BE |
| psi | ψ | #x3C8 | CF/88 |
| zeta | ζ | #x3B6 | CE/B6 |
| oplus | ⊕ | #x2295 | E2/8A/95 |
| ominus | ⊖ | #x2296 | E2/8A/96 |
| otimes | ⊗ | #x2297 | E2/8A/97 |
| odiv | ⊘ | #x2298 | E2/8A/98 |
| odot | ⊙ | #x2299 | E2/8A/99 |