fix underline in latex output
Merge pull request #40 from SemanticsOS/lambdafu/uline

fix underline in latex output