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 | Octal Code in KIV font | Ascii Code in KIV font | Hex Code in KIV font | UTF-8 chars |
|---|---|---|---|---|---|---|
| circle | ○ | #x25cb | #o241 | 161 | A1 | E2/97/8B |
| box | □ | #x25a1 | #o242 | 162 | A2 | E2/96/A1 |
| diamond | ◇ | #x25c7 | #o243 | 163 | A3 | E2/97/87 |
| models | ⊧ | #x22a7 | #o244 | 164 | A4 | E2/8A/A7 |
| follows | ⊦ | #x22a6 | #o245 | 165 | A5 | E2/8A/A6 |
| lsem | 〚 | #x301a | #o246 | 166 | A6 | E3/80/9A |
| rsem | 〛 | #x301b | #o247 | 167 | A7 | E3/80/9B |
| le | ≤ | #x2264 | #o250 | 168 | A8 | E2/89/A4 |
| ge | ≥ | #x2265 | #o251 | 169 | A9 | E2/89/A5 |
| subseteq | ⊆ | #x2286 | #o302 | 194 | C2 | E2/8A/86 |
| supseteq | ⊇ | #x2287 | #o303 | 195 | C3 | E2/8A/87 |
| subset | ⊂ | #x2282 | #o252 | 170 | AA | E2/8A/82 |
| supset | ⊃ | #x2283 | #o253 | 171 | AB | E2/8A/83 |
| leftarrow | ← | #x2190 | #o254 | 172 | AC | E2/86/90 |
| implies | → | #x2192 | #o255 | 173 | AD | E2/86/92 |
| uparrow | ↑ | #x2191 | #o256 | 174 | AE | E2/86/91 |
| downarrow | ↓ | #x2193 | #o257 | 175 | AF | E2/86/93 |
| equivalent | ↔ | #x2194 | #o260 | 176 | B0 | E2/86/94 |
| ni | ∋ | #x220b | #o261 | 177 | B1 | E2/88/8B |
| all | ∀ | #x2200 | #o263 | 179 | B3 | E2/88/80 |
| exists | ∃ | #x2203 | #o264 | 180 | B4 | E2/88/83 |
| not | ¬ | #x00ac | #o265 | 181 | B5 | C2/AC |
| union | ∪ | #x222a | #o266 | 182 | B6 | E2/88/AA |
| intersection | ∩ | #x2229 | #o267 | 183 | B7 | E2/88/A9 |
| and | ∧ | #x2227 | #o270 | 184 | B8 | E2/88/A7 |
| or | ∨ | #x2228 | #o271 | 185 | B9 | E2/88/A8 |
| top | ⊤ | #x22a4 | #o272 | 186 | BA | E2/8A/A4 |
| bottom | ⊥ | #x22a5 | #o273 | 187 | BB | E2/8A/A5 |
| revsemimp | ⇐ | #x21d0 | #o274 | 188 | BC | E2/87/90 |
| semimp | ⇒ | #x21d2 | #o275 | 189 | BD | E2/87/92 |
| integral | ∫ | #x222b | #o276 | 190 | BE | E2/88/AB |
| infinity | ∞ | #x221e | #o277 | 191 | BF | E2/88/9E |
| in | ∈ | #x2208 | #o262 | 178 | B2 | E2/88/88 |
| lceil | ⌈ | #x2308 | #o300 | 192 | C0 | E2/8C/88 |
| rceil | ⌉ | #x2309 | #o301 | 193 | C1 | E2/8C/89 |
| Delta | Δ | #x0394 | #o304 | 196 | C4 | CE/94 |
| congruent | ≡ | #x2261 | #o305 | 197 | C5 | E2/89/A1 |
| Phi | Φ | #x03a6 | #o306 | 198 | C6 | CE/A6 |
| Gamma | Γ | #x0393 | #o307 | 199 | C7 | CE/93 |
| lfloor | ⌊ | #x230a | #o310 | 200 | C8 | E2/8C/8A |
| rfloor | ⌋ | #x230b | #o311 | 201 | C9 | E2/8C/8B |
| lsls | ≪ | #x226a | #o312 | 202 | CA | E2/89/AA |
| grgr | ≫ | #x226b | #o313 | 203 | CB | E2/89/AB |
| Lambda | Λ | #x039b | #o314 | 204 | CC | CE/9B |
| glb | ⊓ | #x2293 | #o315 | 205 | CD | E2/8A/93 |
| lub | ⊔ | #x2294 | #o316 | 206 | CE | E2/8A/94 |
| Omega | Ω | #x03a9 | #o317 | 207 | CF | CE/A9 |
| Pi | Π | #x03a0 | #o320 | 208 | D0 | CE/A0 |
| parallel | ∥ | #x2225 | #o321 | 209 | D1 | E2/88/A5 |
| triangle | △ | #x25b3 | #o322 | 210 | D2 | E2/96/B3 |
| Sigma | Σ | #x03a3 | #o323 | 211 | D3 | CE/A3 |
| times | × | #x00d7 | #o324 | 212 | D4 | C3/97 |
| strongdiaopen | ⟪ | #x2989 | #o325 | 213 | D5 | E2/9F/AA |
| lower | ⊑ | #x2291 | #o326 | 214 | D6 | E2/8A/91 |
| higher | ⊒ | #x2292 | #o327 | 215 | D7 | E2/8A/92 |
| Xi | Ξ | #x039e | #o330 | 216 | D8 | CE/9E |
| Psi | Ψ | #x03a8 | #o331 | 217 | D9 | CE/A8 |
| semequiv | ⇔ | #x21d4 | #o332 | 218 | DA | E2/87/94 |
| diamondopen | 〈 | #x3008 | #o333 | 219 | DB | E3/80/88 |
| neq | ≠ | #x2260 | #o334 | 220 | DC | E2/89/A0 |
| unequal | ≠ | #x2260 | #o334 | 220 | DC | E2/89/A0 |
| diamondclose | 〉 | #x3009 | #o335 | 221 | DD | E3/80/89 |
| sqless | ⊏ | #x228f | #o336 | 222 | DE | E2/8A/8F |
| sqgreater | ⊐ | #x2290 | #o337 | 223 | DF | E2/8A/90 |
| emptyset | ∅ | #x2205 | #o340 | 224 | E0 | E2/88/85 |
| alpha | α | #x03b1 | #o341 | 225 | E1 | CE/B1 |
| beta | β | #x03b2 | #o342 | 226 | E2 | CE/B2 |
| chi | χ | #x03c7 | #o343 | 227 | E3 | CF/87 |
| delta | δ | #x03b4 | #o344 | 228 | E4 | CE/B4 |
| epsilon | ε | #x03b5 | #o345 | 229 | E5 | CE/B5 |
| phi | φ | #x03d5 | #o346 | 230 | E6 | CF/86 |
| gamma | γ | #x03b3 | #o347 | 231 | E7 | CE/B3 |
| eta | η | #x03b7 | #o350 | 232 | E8 | CE/B7 |
| iota | ι | #x03b9 | #o351 | 233 | E9 | CE/B9 |
| bullet | ∙ | #x2219 | #o352 | 234 | EA | E2/88/99 |
| kappa | κ | #x03ba | #o353 | 235 | EB | CE/BA |
| lambda | λ | #x03bb | #o354 | 236 | EC | CE/BB |
| mu | μ | #x03bc | #o355 | 237 | ED | CE/BC |
| nu | ν | #x03bd | #o356 | 238 | EE | CE/BD |
| omega | ω | #x03c9 | #o357 | 239 | EF | CF/89 |
| pi | π | #x03c0 | #o360 | 240 | F0 | CF/80 |
| theta | θ | #x03b8 | #o361 | 241 | F1 | CE/B8 |
| rho | ρ | #x03c1 | #o362 | 242 | F2 | CF/81 |
| sigma | σ | #x03c3 | #o363 | 243 | F3 | CF/83 |
| tau | τ | #x03c4 | #o364 | 244 | F4 | CF/84 |
| strongdiaclose | ⟫ | #x298a | #o365 | 245 | F5 | E2/9F/AB |
| lquine | ⌜ | #x231c | #o366 | 246 | F6 | E2/8C/9C |
| rquine | ⌝ | #x231d | #o367 | 247 | F7 | E2/8C/9D |
| xi | ξ | #x03be | #o370 | 248 | F8 | CE/BE |
| psi | ψ | #x03c8 | #o371 | 249 | F9 | CF/88 |
| zeta | ζ | #x03b6 | #o372 | 250 | FA | CE/B6 |
| oplus | ⊕ | #x2295 | #o373 | 251 | FB | E2/8A/95 |
| ominus | ⊖ | #x2296 | #o374 | 252 | FC | E2/8A/96 |
| otimes | ⊗ | #x2297 | #o375 | 253 | FD | E2/8A/97 |
| odiv | ⊘ | #x2298 | #o376 | 254 | FE | E2/8A/98 |
| odot | ⊙ | #x2299 | #o377 | 255 | FF | E2/8A/99 |