adding inline latex to lambda calculus post