changed latex snippets to conform with newer version of ukon infie