TeX source:
MD_h : {0, 1}^∗ → {0, 1}^n