Test post

Please ignore this; I'm doing some experiments with the blog template, and I need a post that I can edit to see if it's working.

`\lambda x . x + 1`

`(\lambda x . plus\ x\ x)\ y`

`\lambda x . B e \equiv B[x := e] if text{free}(e) \subset text{free}(B[x := e])`