Oznameni

[arnost]

Dobry den,
kolega f. hakl, jehoz LaTeXovsky formular pro grantovky mozna
pouzivate, vytvoril LaTeXovsky styl pro sazeni implikacnich stromu.

Implikacni strom vypada zhruba takto:

---+------A
   |
   +---+--B
   |   |
   |   +--non(A)
   |
   +------C

makro vam umozni zadavat libovolny implikacni strom, plus drobne
upravy vzhledu (tvar ohnoutku, rozestupy ....).

Je to spolu s dokumentaci v ftp.cstug.cz/pub/tex/local/cstug/hakl/impltree/*

pekne implikovani

arnost