PanLinx: početní symbol

PanLinx

čeština	ces-000
početní symbol

čeština	ces-000	kvantifikátor
čeština	ces-000	operátor
čeština	ces-000	všeobecná instrukce

PanLex

PanLex-PanLinx