pure tex rendering of simple derivation trees