Added pdf2htmlex formula