Návrh české osmibodové normy
V této části je uveden přehled všech navrhovaných elementů, doplněný o jejich grafickou a textovou reprezentaci, typ provedené transformace, popřípadě příklad užití. Kompletní přehled, řazený podle kategorií editoru Lambda, naleznete v části Souhrnné tabulky. K brailleským znakům, které jsou zde vkládány do textu jako obrázky, je vždy připojena i alternativní textová reprezentace.
Vysvětlivky k textové reprezentaci: Pokud dva brailleské symboly v zápisu následují bezprostředně za sebou, jsou odděleny středníkem (např. 45; 12347). Pokud se naopak v zápisu mezi dvěma brailleskými symboly očekává výskyt dalších prvků (zejména argumentů příslušného elementu), jsou odděleny svislou čarou (např. 236 | 356).
Logické operátory
| disjunkce | 678 |  |
Vytvoření nové reprezentace (5; 35 -> 678).
| konjunkce | 368 |  |
Vytvoření nové reprezentace (6; 26 -> 368).
| negace | 568 |  |
Vytvoření nové reprezentace (5; 256 -> 568).
| implikace | 46; 267 |  |
Přidání obecného prefixu; použití již samostatně transformovaného symbolu (šipka doprava).
| ekvivalence | 46; 358; 267 |  |
Přidání obecného prefixu; kombinace již samostatně transformovaných symbolů (šipka doleva; šipka doprava).
| pro všechna | 12368 |  |
Přidání 8. bodu – náhrada za číselný prefix (3456; 1236 -> 12368).
| existuje | 1348 |  |
Přidání 8. bodu – náhrada za číselný prefix (3456; 1236 -> 12368)
| neexistuje | 48; 1348 |  |
Kombinace již samostatně transformovaných symbolů (prefix negace; existuje).
| existuje právě jeden | 1348; 235 |  |
Kombinace již samostatně transformovaných symbolů (existuje; vykřičník).
| výlučné nebo | 46; 678 |  |
Zavedení nového elementu.
| kontradikce | 46; 1247 |  |
Zavedení nového elementu.
| tautologie | 46; 23457 |  |
Zavedení nového elementu.
| booleovský součet | 46; 256 |  |
Zavedení nového elementu.
| pravda | 23457 |  |
Zavedení nového elementu.
| nepravda | 1247 |  |
Zavedení nového elementu.
